"Tests and Proofs - 7th International Conference, TAP 2013, Budapest, ..."

Margus Veanes, Luca Viganò (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics