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

Book

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

Journal

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

This list was generated on Tue Feb 27 01:04:00 2024 CET.