"Tests and Proofs - 10th International Conference, TAP 2016, Held as Part ..."

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