Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 3.
Konferenzveröffentlichung
Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
Hrsg.: Hutter, Dieter ; Ullmann, Markus (2005)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Konferenzveröffentlichung, Bibliographie
Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
Hrsg.: Gorrieri, Roberto (2003)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Konferenzveröffentlichung, Bibliographie
Report
Darvas, Adam ; Hähnle, Reiner ; Sands, Dave (2004)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Report, Bibliographie
Drucken
Impressum