direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Formal Modeling and Verification of Low-Level Software Programs
Citation key Bartels2010
Author Björn Bartels and Sabine Glesner
Title of Book 10th International Conference on Qualtiy Software (QSIC 2010)
Pages pp.200–207
Year 2010
ISBN 978-1-4244-8078-4
DOI 10.1109/QSIC.2010.67
Publisher IEEE Computer Society
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe