Marie-Claude Gaudel
Checking Models, Proving Programs, and Testing Systems
TAP, 2011.
@inproceedings{TAP-2011-Gaudel, author = "Marie-Claude Gaudel", booktitle = "{Proceedings of the Fifth International Conference on Tests and Proofs}", doi = "10.1007/978-3-642-21768-5_1", isbn = "978-3-642-21767-8", pages = "1--13", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Checking Models, Proving Programs, and Testing Systems}", volume = 6706, year = 2011, }