"Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, ..."

Gordon Fraser, Angelo Gargantini (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics