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: 4.

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis (2008)
Integration of a Security Type System into a Program Logic.
In: Theoretical Computer Science, 402 (2--3)
Artikel, Bibliographie

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis (2008)
Integration of a security type system into a program logic.
In: Theor. Comput. Sci., 402 (2-3)
doi: 10.1016/j.tcs.2008.04.033
Artikel, Bibliographie

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 04:23:18 2024 CET generiert.