@inproceedings{mci/Lüth2008,
author = {Lüth, Christoph},
title = {Positionsstatement: Über die Rolle von formalem Beweis und Entwicklung im Zertifizierungsprozeß},
booktitle = {Software Engineering 2008},
year = {2008},
editor = {Maalej, Walid AND Brügge, Bernd} ,
pages = { 341-342 },
publisher = {Gesellschaft für Informatik e. V.},
address = {Bonn}
}