TU Darmstadt / ULB / TUbiblio

Axiomatic specification in VeriFun

Schlosser, Andreas ; Walther, Christoph ; Aderhold, Markus (2006):
Axiomatic specification in VeriFun.
pp. 146-163, IJCAR’06-Workshop Verification Workshop (VERIFY-06), Seattle, USA, August 2006, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2006
Creators: Schlosser, Andreas ; Walther, Christoph ; Aderhold, Markus
Title: Axiomatic specification in VeriFun
Language: German
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Programming Methodology
Event Title: IJCAR’06-Workshop Verification Workshop (VERIFY-06)
Event Location: Seattle, USA
Event Dates: August 2006
Date Deposited: 20 Nov 2008 08:25
Official URL: https://www.researchgate.net/publication/252264225_Axiomatic...
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details