TU Darmstadt / ULB / TUbiblio

Axiomatic specification in VeriFun

Schlosser, Andreas ; Walther, Christoph ; Aderhold, Markus :
Axiomatic specification in VeriFun.
In: Proceedings of the 6th Verification Workshop (VERIFY-06) Federated Logic Conference, Eds.:. Serge Autexier and Heiko Mantel, S. 146-163, Seattle, WA, 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 specification in VeriFun
Sprache: Deutsch
Reihe: Proceedings of the 6th Verification Workshop (VERIFY-06) Federated Logic Conference, Eds.:. Serge Autexier and Heiko Mantel, S. 146-163, Seattle, WA, 2006.
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Programmiermethodik
Hinterlegungsdatum: 20 Nov 2008 08:25
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen