![](/img/cover-not-exists.png)
[IEEE 2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) - Kyoto, Japan (2013.07.22-2013.07.26)] 2013 IEEE 37th Annual Computer Software and Applications Conference - Interactive Verification of Safety-Critical Software
Cruz, Daniela da, Henriques, Pedro Rangel, Pinto, Jorge SousaYear:
2013
Language:
english
DOI:
10.1109/COMPSAC.2013.86
File:
PDF, 393 KB
english, 2013