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: First Workshop "Programming Languages meet Program Verification" <Seattle (WA), USA,2006> .
[Konferenz- oder Workshop-Beitrag], (2006)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2006
Autor(en): Schlosser, Andreas ; Walther, Christoph ; Gonder, Michael ; Aderhold, Markus
Titel: Context Dependent Procedures and Computed Types in VeriFun
Sprache: Englisch
Reihe: First Workshop "Programming Languages meet Program Verification" <Seattle (WA), USA,2006>
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Programmiermethodik
Hinterlegungsdatum: 20 Nov 2008 08:25
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen