direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Mechanized, Compositional Verification of Low-Level Code
Citation key BartelsJähnig2014
Author Björn Bartels and Nils Jähnig
Pages 98-112
Year 2014
ISBN 978-3-319-06199-3
Journal Lecture Notes in Computer Science 8430
Number 8430
Editor Springer
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe