Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama. An effective framework for assume-guarantee verification of evolving component-based software. In Tom Mens, Kim Mens, Michel Wermelinger, editors, Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops, Amsterdam, Netherlands, August 24-28, 2009. pages 109-118, ACM, 2009. [doi]
Abstract is missing.