direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

20142013201220112010200920082007200620052004

2014

Mechanized, Compositional Verification of Low-Level Code
Zitatschlüssel Bartels2014
Autor Bartels, B. and Jähnig, N.
Buchtitel NASA Formal Methods (NFM 2014)
Seiten 98-112
Jahr 2014
ISBN 978-3-319-06199-3
DOI http://dx.doi.org/10.1007/978-3-319-06200-6_8
Jahrgang 8430
Herausgeber Badger, JuliaM. and Rozier, KristinYvonne
Verlag Springer International Publishing
Serie Lecture Notes in Computer Science
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe