"Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, ..."

Wolfgang Ahrendt, Heike Wehrheim (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics