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
Jump to: German
Number of items: 1.


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, 4454, 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]

This list was generated on Tue Jul 16 00:41:42 2019 CEST.