Dual analysis for proving safety and finding bugs
In: Science of Computer Programming, Jg. 78 (2013-04-01), Heft 4, S. 390-411
Online
academicJournal
Zugriff:
Titel: |
Dual analysis for proving safety and finding bugs
|
---|---|
Autor/in / Beteiligte Person: | Popeea, Corneliu ; Chin, Wei-Ngan |
Link: | |
Zeitschrift: | Science of Computer Programming, Jg. 78 (2013-04-01), Heft 4, S. 390-411 |
Veröffentlichung: | 2013 |
Medientyp: | academicJournal |
ISSN: | 0167-6423 (print) |
DOI: | 10.1016/j.scico.2012.07.004 |
Sonstiges: |
|