Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Puebla, German ; Roman-Diez, Guillermo (2016)
A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY.
In: Software and System Modeling, 15 (4)
doi: 10.1007/s10270-015-0476-y
Article, Bibliographie

Mantel, Heiko ; Sudbrock, Henning ; Kraußer, Tina
ed.: Puebla, German (2007)
Combining Different Proof Techniques for Verifying Information Flow Security.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning ; Kraußer, Tina
ed.: Puebla, German (2006)
Combining Different Proof Techniques for Verifying Information Flow Security.
Conference or Workshop Item, Bibliographie