Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
eds.: Hutter, Dieter ; Ullmann, Markus (2005)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Conference or Workshop Item, Bibliographie

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave (2004)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Report, Bibliographie

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
ed.: Gorrieri, Roberto (2003)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Conference or Workshop Item, Bibliographie