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
Jump to: German
Number of items: 1.


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.
4661In: LNCS, In: Proc. Trustworthy Global Computing, Lucca, Italy, Springer-Verlag, pp. 116--131, [Conference or Workshop Item]

This list was generated on Sat Sep 19 02:23:19 2020 CEST.