TU Darmstadt / ULB / TUbiblio

Context Dependent Procedures and Computed Types in VeriFun

Schlosser, Andreas ; Walther, Christoph ; Gonder, Michael ; Aderhold, Markus (2006):
Context Dependent Procedures and Computed Types in VeriFun.
IJCAR 2006-Workshop Programming Languages meets Program Verification (PLPV 2006), Seattle, USA, 21.08.2006, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2006
Creators: Schlosser, Andreas ; Walther, Christoph ; Gonder, Michael ; Aderhold, Markus
Title: Context Dependent Procedures and Computed Types in VeriFun
Language: English
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Programming Methodology
Event Title: IJCAR 2006-Workshop Programming Languages meets Program Verification (PLPV 2006)
Event Location: Seattle, USA
Event Dates: 21.08.2006
Date Deposited: 20 Nov 2008 08:25
Official URL: http://homepage.divms.uiowa.edu/~astump/plpv/plpv06/
License: [undefiniert]
Corresponding Links:
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