Blättern nach Person
 | Ebene hoch |
Springe zu: Englisch
Anzahl der Einträge: 1.
Englisch
Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis
Hrsg.: Montanari, Ugo ; Sannella, Donald ; Bruni, R. (2007)
Integration of a Security Type System into a Program Logic.
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum