direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Mechanized, Compositional Verification of Low-Level Code
Zitatschlüssel BartelsJähnig2014
Autor Björn Bartels and Nils Jähnig
Seiten 98-112
Jahr 2014
ISBN 978-3-319-06199-3
Journal Lecture Notes in Computer Science 8430
Nummer 8430
Herausgeber Springer
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe