TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Konferenzveröffentlichung
Duffy, David A. ; Giesl, J. (2000)
Closure induction in a Z-like language.
Konferenzveröffentlichung, Bibliographie