Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings - Veanes, Margus; Viganò, Luca (Springer Berlin Heidelberg : Imprint: Springer, 2013)