"Tests and Proofs, First International Conference, TAP 2007, Zurich, ..."

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