Local Symmetry and Compositional Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kedar S. Namjoshi, Richard J. Trefler. Local Symmetry and Compositional Verification. In Viktor Kuncak, Andrey Rybalchenko, editors, Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings. Volume 7148 of Lecture Notes in Computer Science, pages 348-362, Springer, 2012. [doi]

This author has not been identified. Look up 'Kedar S. Namjoshi' in GoogleThis author has not been identified. Look up 'Richard J. Trefler' in Google

runs on WebDSL