Publikation

Höhere Zuverlässigkeit und Sicherheit von Software-Applikationen durch statische Programmverifikation

Publikation, 2012

Outline

J. Schiller, M. Bogner - Höhere Zuverlässigkeit und Sicherheit von Software-Applikationen durch statische Programmverifikation - Tagungsband des 6. Forschungsforums der österreichischen Fachhochschulen, Graz, Österreich, 2012