Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 1.
Konferenzveröffentlichung
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)
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum