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

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