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

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, 402 (2--3), Elsevier, pp. 172--189, [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., 402 (2-3), pp. 172-189, 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.
4661In: LNCS, In: Proc. Trustworthy Global Computing, Lucca, Italy, Springer-Verlag, pp. 116--131, [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.
4661In: Lecture Notes in Computer Science, Springer, In: Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers, pp. 116-131, 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 Jul 4 00:13:34 2020 CEST.