TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 2.

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

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis
Hrsg.: Montanari, Ugo ; Sannella, Donald ; Bruni, Roberto (2006)
Integration of a Security Type System into a Program Logic.
Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers.
doi: 10.1007/978-3-540-75336-0_8
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 03:09:01 2024 CET generiert.