Maximal and Compositional Pattern-Based Loop Invariants - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maria Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango. Maximal and Compositional Pattern-Based Loop Invariants. In Dimitra Giannakopoulou, Dominique Méry, editors, FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Volume 7436 of Lecture Notes in Computer Science, pages 37-51, Springer, 2012. [doi]

This author has not been identified. Look up 'Maria Virginia Aponte' in GoogleThis author has not been identified. Look up 'Pierre Courtieu' in GoogleThis author has not been identified. Look up 'Yannick Moy' in GoogleThis author has not been identified. Look up 'Marc Sango' in Google

runs on WebDSL