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: Post Conference Proceedings, 3rd International Workshop on Formal Approaches to Testing of Software (FATES), Montréal, Canada, Springer-Verlag, In: LNCS, [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:

Optionen (nur für Redakteure)

View Item View Item