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

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