"Tests and Proofs - 1st International Conference, TAP 2007, Zurich, ..."

Yuri Gurevich, Bertrand Meyer (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics