Publication

Advanced Reliability and Safety of Software Applications through Static Program Verification

Publication, 2012

Outline

J. Schiller, M. Bogner - Advanced Reliability and Safety of Software Applications through Static Program Verification - Proceedings of 6th FFH 2012, Graz, Austria, 2012