TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 1.

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]

This list was generated on Tue Dec 1 02:24:04 2020 CET.