TU Darmstadt / ULB / TUbiblio

Using a software testing technique to improve theorem proving

Hähnle, Reiner and Wallenburg, Angela Petrenko, Alex and Ulrich, Andreas (eds.) (2003):
Using a software testing technique to improve theorem proving.
In: LNCS, In: Post Conference Proceedings, 3rd International Workshop on Formal Approaches to Testing of Software (FATES), Montréal, Canada,
Springer-Verlag, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2003
Editors: Petrenko, Alex and Ulrich, Andreas
Creators: Hähnle, Reiner and Wallenburg, Angela
Title: Using a software testing technique to improve theorem proving
Language: German
Title of Book: Post Conference Proceedings, 3rd International Workshop on Formal Approaches to Testing of Software (FATES), Montréal, Canada
Series Name: LNCS
Publisher: Springer-Verlag
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: HaehnleWallenburg03
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