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

Translated title of the contribution: Advanced Reliability and Safety of Software Applications through Static Program Verification

Johannes Schiller, Michael Bogner

Research output: Chapter in Book/Report/Conference proceedings › Conference contribution

Translated title of the contribution	Advanced Reliability and Safety of Software Applications through Static Program Verification
Original language	German
Title of host publication	Tagungsband des 6. Forschungsforums der österreichischen Fachhochschulen
Publication status	Published - 2012
Event	6. Forschungsforum der österreichischen Fachhochschulen 2012 - Graz, Austria Duration: 11 Apr 2012 → 12 Apr 2012 http://www.conftool.net/ffh2012

Conference	6. Forschungsforum der österreichischen Fachhochschulen 2012
Country/Territory	Austria
City	Graz
Period	11.04.2012 → 12.04.2012
Internet address	http://www.conftool.net/ffh2012

Cite this

@inproceedings{c601c37a7d2148a484818a780e7c379c,

title = "H{\"o}here Zuverl{\"a}ssigkeit und Sicherheit von Software-Applikationen durch statische Programmverifikation",

author = "Johannes Schiller and Michael Bogner",

year = "2012",

language = "Deutsch",

booktitle = "Tagungsband des 6. Forschungsforums der {\"o}sterreichischen Fachhochschulen",

note = "6. Forschungsforum der {\"o}sterreichischen Fachhochschulen 2012 ; Conference date: 11-04-2012 Through 12-04-2012",

url = "http://www.conftool.net/ffh2012",

}

TY - GEN

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

AU - Schiller, Johannes

AU - Bogner, Michael

PY - 2012

Y1 - 2012

M3 - Konferenzbeitrag

BT - Tagungsband des 6. Forschungsforums der österreichischen Fachhochschulen

T2 - 6. Forschungsforum der österreichischen Fachhochschulen 2012

Y2 - 11 April 2012 through 12 April 2012

ER -