TU Darmstadt / ULB / TUbiblio

Axiomatic Specifications in VeriFun

Schlosser, Andreas ; Walther, Christoph ; Aderhold, Markus :
Axiomatic Specifications in VeriFun.
In: Third Verification Workshop <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 ; Aderhold, Markus
Titel: Axiomatic Specifications in VeriFun
Sprache: Deutsch
Reihe: Third Verification Workshop <Seattle (WA), USA,2006>
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Programmiermethodik
Hinterlegungsdatum: 20 Nov 2008 08:24
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen