DMCA

Generating unit tests from formal proofs (2007)

Cached

Download Links

by Christian Engel , Reiner Hähnle
Venue:Proceedings, Testing and Proofs
Citations:27 - 6 self