Positionsstatement: Zertifizierungsargumentationen mit mathematischer Präzision

Hardi Hungar. Positionsstatement: Zertifizierungsargumentationen mit mathematischer Präzision. 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 339-340, GI, 2008.

Abstract

Abstract is missing.