"Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna, ..."

Bernhard K. Aichernig, Carlo A. Furia (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics