Name Card

Full name Familienname, Vorname
Kordon, Fabrice
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fechete, Raul ; Kienesberger, Georg ; Blieberger, Johann A Framework for CFG-Based Static Program Analysis of Ada ProgramsKonferenzbeitrag Inproceedings 2008
2Blieberger, Johann ; Burgstaller, Bernd ; Mittermayr, Robert Static Detection of Livelocks in Ada Multitasking ProgramsKonferenzbeitrag Inproceedings2007