Trace-based verification of imperative programs with I/O
In: Journal of Symbolic Computation, Jg. 46 (2011-02-01), Heft 2, S. 95-118
Online
academicJournal
Titel: |
Trace-based verification of imperative programs with I/O
|
---|---|
Autor/in / Beteiligte Person: | Malecha, Gregory ; Morrisett, Greg ; Wisnesky, Ryan |
Link: | |
Zeitschrift: | Journal of Symbolic Computation, Jg. 46 (2011-02-01), Heft 2, S. 95-118 |
Veröffentlichung: | 2011 |
Medientyp: | academicJournal |
ISSN: | 0747-7171 (print) |
DOI: | 10.1016/j.jsc.2010.08.004 |
Sonstiges: |
|