"Tests and Proofs - 5th International Conference, TAP 2011, Zurich, ..."

Martin Gogolla, Burkhart Wolff (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics