Advanced Reliability and Safety of Software Applications through Static Program Verification

Johannes Schiller, Michael Bogner

Research output: Chapter in Book/Report/Conference proceedingsConference contribution

Translated title of the contributionAdvanced Reliability and Safety of Software Applications through Static Program Verification
Original languageGerman
Title of host publicationTagungsband des 6. Forschungsforums der österreichischen Fachhochschulen
Publication statusPublished - 2012
Event6. Forschungsforum der österreichischen Fachhochschulen 2012 - Graz, Austria
Duration: 11 Apr 201212 Apr 2012
http://www.conftool.net/ffh2012

Conference

Conference6. Forschungsforum der österreichischen Fachhochschulen 2012
Country/TerritoryAustria
CityGraz
Period11.04.201212.04.2012
Internet address

Cite this