"Tests and Proofs - 11th International Conference, TAP 2017, Held as Part ..."

Sebastian Gabmeyer, Einar Broch Johnsen (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics