TU Darmstadt / ULB / TUbiblio

Context Dependent Procedures and Computed Types in VeriFun

Schlosser, Andreas ; Walther, Christoph ; Gonder, Michael ; Aderhold, Markus :
Context Dependent Procedures and Computed Types in VeriFun.
In: Proceedings of the 1st Workshop "Programming Languages meet Program Verification" : 2007 ; Elsevier ; 61-78.
[Buchkapitel], (2007)

Typ des Eintrags: Buchkapitel
Erschienen: 2007
Autor(en): Schlosser, Andreas ; Walther, Christoph ; Gonder, Michael ; Aderhold, Markus
Titel: Context Dependent Procedures and Computed Types in VeriFun
Sprache: Englisch
Buchtitel: Proceedings of the 1st Workshop "Programming Languages meet Program Verification" : 2007 ; Elsevier ; 61-78
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Programmiermethodik
Hinterlegungsdatum: 20 Nov 2008 08:27
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen