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

German

Hähnle, Reiner and Pan, Jing and Rümmer, Philipp and Walter, Dennis (2008):
Integration of a Security Type System into a Program Logic.
In: Theoretical Computer Science, Elsevier, pp. 172--189, 402, (2--3), [Article]

Hähnle, Reiner and Pan, Jing and Rümmer, Philipp and Walter, Dennis (2008):
Integration of a security type system into a program logic.
In: Theor. Comput. Sci., pp. 172-189, 402, (2-3), DOI: 10.1016/j.tcs.2008.04.033,
[Online-Edition: https://doi.org/10.1016/j.tcs.2008.04.033],
[Article]

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 Tue Jul 23 01:20:10 2019 CEST.