TU Darmstadt / ULB / TUbiblio

About VeriFun

Walther, Christoph and Schweitzer, Stephan (2003):
About VeriFun.
In: 19th International Conference on Automated Deduction (CADE-19), Miami Beach, USA, 28.07.-02.08.2003, pp. 322-327, DOI: 10.1007/978-3-540-45085-6_28,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2003
Creators: Walther, Christoph and Schweitzer, Stephan
Title: About VeriFun
Language: English
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Programming Methodology
Event Title: 19th International Conference on Automated Deduction (CADE-19)
Event Location: Miami Beach, USA
Event Dates: 28.07.-02.08.2003
Date Deposited: 20 Nov 2008 08:18
DOI: 10.1007/978-3-540-45085-6_28
License: [undefiniert]
Related URLs:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item