"Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse, ..."

Catherine Dubois, Burkhart Wolff (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics