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 ; 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), pp. 172--189. Elsevier, [Article]

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), pp. 172-189. DOI: 10.1016/j.tcs.2008.04.033,
[Article]

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

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

This list was generated on Tue Sep 21 13:31:00 2021 CEST.