@inproceedings{engelHaehnle07,
    author = {Christian Engel and Reiner H{\"a}hnle},
    title = {Generating Unit Tests from Formal Proofs},
    booktitle = {Proceedings, 1st International Conference on Tests And Proofs (TAP), Zurich, Switzerland},
    editor = {Yuri Gurevich and Bertrand Meyer},
    year =         {2007},
    series =       {LNCS},
    volume = {4454},
    publisher =    {Springer}
}