Publikation

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

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