"Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich, ..."

Catherine Dubois (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics