Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings Brucker Achim Heftet / 2012 / Engelsk
