Blättern nach Person
 | Ebene hoch |
Springe zu: Englisch
Anzahl der Einträge: 1.
Englisch
Schlosser, Andreas ; Walther, Christoph ; Gonder, Michael ; Aderhold, Markus (2006)
Context Dependent Procedures and Computed Types in VeriFun.
IJCAR 2006-Workshop Programming Languages meets Program Verification (PLPV 2006). Seattle, USA (21.08.2006-21.08.2006)
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum