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]
No references recorded for this publication.
No citations of this publication recorded.