Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings - Brucker, Achim D.; Julliand, Jacques (Springer Berlin Heidelberg, 2012)