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: Proc. Tests and Proofs (TAP), Zürich, Switzerland, Springer-Verlag, In: Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, In: LNCS, DOI: 10.1007/978-3-540-73770-4_10, [Online-Edition: https://doi.org/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:

Optionen (nur für Redakteure)

View Item View Item