TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

Hähnle, Reiner and Pan, Jing and Rümmer, Philipp and Walter, Dennis
Montanari, Ugo and Sanella, Don and Bruni, R. (eds.) (2007):
Integration of a Security Type System into a Program Logic.
In: Proc. Trustworthy Global Computing, Lucca, Italy, Springer-Verlag, In: LNCS, 4661, [Conference or Workshop Item]

Hähnle, Reiner and Pan, Jing and Rümmer, Philipp and Walter, Dennis
Montanari, Ugo and Sannella, Donald and Bruni, Roberto (eds.) (2006):
Integration of a Security Type System into a Program Logic.
Springer, In: Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers, In: Lecture Notes in Computer Science, 4661, DOI: 10.1007/978-3-540-75336-0₈,
[Online-Edition: https://doi.org/10.1007/978-3-540-75336-0_8],
[Conference or Workshop Item]

This list was generated on Sat Aug 24 00:23:50 2019 CEST.