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
Number of items: 1.

Schlosser, Andreas and Walther, Christoph and Gonder, Michael and 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 Sat Jun 12 01:59:51 2021 CEST.