Publication
Talk: 6th International Conference on Tests and Proofs (TAP 2012), Prague, Czech Republic; 05-31-2012 - 06-01-2012; in: “Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012)", Springer, LNCS 7305 (2012), ISBN: 978-3-642-30472-9; 149 - 155