Christoph Lüth. Positionsstatement: Über die Rolle von formalem Beweis und Entwicklung im Zertifizierungsprozeß. In Walid Maalej, Bernd Brügge, editors, Software Engineering 2008 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 18.-22.2.2008 in München. Volume 122 of LNI, pages 341-342, GI, 2008.
@inproceedings{Luth08,
title = {Positionsstatement: Über die Rolle von formalem Beweis und Entwicklung im Zertifizierungsprozeß},
author = {Christoph Lüth},
year = {2008},
researchr = {https://researchr.org/publication/Luth08},
cites = {0},
citedby = {0},
pages = {341-342},
booktitle = {Software Engineering 2008 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 18.-22.2.2008 in München},
editor = {Walid Maalej and Bernd Brügge},
volume = {122},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-216-1},
}