"Tests and Proofs - 12th International Conference, TAP 2018, Held as Part ..."

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