Publication
Talk: 9th International Conference on Tests and Proofs (TAP´15), L’Aquila; 07-22-2015 - 07-24-2015; in: “Proceedings of the 9th International Conference on Tests and Proofs (TAP´15)", Springer, volume 9154 of Lecture Notes in Computer Science (2015), ISBN: 978-3-319-21214-2; 173 - 190