"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