TU Darmstadt / ULB / TUbiblio

Generating Unit Tests from Formal Proofs

Engel, Christian and Hähnle, Reiner Meyer, Bertrand and Gurevich, Yuri (eds.) (2007):
Generating Unit Tests from Formal Proofs.
In: LNCS, 4454, In: Proc. Tests and Proofs (TAP), Zürich, Switzerland, pp. 169-188,
Springer-Verlag, Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, DOI: 10.1007/978-3-540-73770-4_10,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2007
Editors: Meyer, Bertrand and Gurevich, Yuri
Creators: Engel, Christian and Hähnle, Reiner
Title: Generating Unit Tests from Formal Proofs
Language: German
Title of Book: Proc. Tests and Proofs (TAP), Zürich, Switzerland
Series Name: LNCS
Volume: 4454
Publisher: Springer-Verlag
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers
Date Deposited: 31 Dec 2016 10:40
DOI: 10.1007/978-3-540-73770-4_10
Official URL: https://doi.org/10.1007/978-3-540-73770-4_10
Identification Number: EngelHaehnle07
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