Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci. A Counterexample-Based Incremental and Modular Verification Approach. In Radu Calinescu, David Garlan, editors, Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers. Volume 7539 of Lecture Notes in Computer Science, pages 283-302, Springer, 2012. [doi]
Abstract is missing.