"Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg, ..."

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