TU Darmstadt / ULB / TUbiblio

Axiomatic specification in VeriFun

Schlosser, Andreas ; Walther, Christoph ; Aderhold, Markus (2006)
Axiomatic specification in VeriFun.
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
Type of entry: Bibliographie
Title: Axiomatic specification in VeriFun
Language: German
Date: 1 January 2006
Event Title: IJCAR’06-Workshop Verification Workshop (VERIFY-06)
Event Location: Seattle, USA
Event Dates: August 2006
URL / URN: https://www.researchgate.net/publication/252264225_Axiomatic...
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Programming Methodology
Date Deposited: 20 Nov 2008 08:25
Last Modified: 23 Jul 2020 07:37
PPN:
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