@inproceedings{mci/Hungar2008,
author = {Hungar, Hardi},
title = {Positionsstatement: Zertifizierungsargumentationen mit mathematischer Präzision},
booktitle = {Software Engineering 2008},
year = {2008},
editor = {Maalej, Walid AND Brügge, Bernd} ,
pages = { 339-340 },
publisher = {Gesellschaft für Informatik e. V.},
address = {Bonn}
}