TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Jump to: English
Number of items: 1.


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]

This list was generated on Tue Oct 26 02:24:22 2021 CEST.