Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan. Incremental Invariant Generation for Compositional Design. In Jing Liu, Doron Peled, Bow-Yaw Wang, Farn Wang, editors, 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010. pages 157-167, IEEE Computer Society, 2010. [doi]
Abstract is missing.