"Tests and Proofs - 6th International Conference, TAP 2012, Prague, Czech ..."

Achim D. Brucker, Jacques Julliand (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics