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: 2005 | 1996
Number of items: 2.

2005

eds.: Autexier, Serge ; Cervesato, Iliano ; Mantel, Heiko (2005)
International Journal of Information Security : Special issue on FCS/Verify 2002.
4 (1-2)
Journal, Bibliographie

1996

Cervesato, Iliano (1996)
A linear logical framework.
Book, Bibliographie

This list was generated on Sat Feb 24 00:52:03 2024 CET.