Anthony Fernandes Pires, Thomas Polacsek, Stéphane Duprat. Formal Software Verification at Model and at Source Code Levels. In Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah, editors, Model and Data Engineering - 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings. Volume 7602 of Lecture Notes in Computer Science, pages 162-169, Springer, 2012. [doi]
Abstract is missing.