direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Formal Modeling and Verification of Low-Level Software Programs
Zitatschlüssel Bartels2010
Autor Björn Bartels and Sabine Glesner
Buchtitel 10th International Conference on Qualtiy Software (QSIC 2010)
Seiten pp.200–207
Jahr 2010
ISBN 978-1-4244-8078-4
DOI 10.1109/QSIC.2010.67
Verlag IEEE Computer Society
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe