A Counterexample-Based Incremental and Modular Verification Approach - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

É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]

This author has not been identified. Look up 'Étienne André' in GoogleThis author has not been identified. Look up 'Kais Klai' in GoogleThis author has not been identified. Look up 'Hanen Ochi' in GoogleThis author has not been identified. Look up 'Laure Petrucci' in Google

runs on WebDSL