Blättern nach Person
 | Ebene hoch |
Springe zu: Englisch
Anzahl der Einträge: 2.
Englisch
Hrsg.: Autexier, Serge ; Cervesato, Iliano ; Mantel, Heiko (2005)
International Journal of Information Security : Special issue on FCS/Verify 2002.
4 (1-2)
Zeitschriftenheft, -band oder -jahrgang, Bibliographie
Cervesato, Iliano (1996)
A linear logical framework.
Buch, Bibliographie
Drucken
Impressum