Pham, Ngoc Hung and toshiaki, aoki and takuya, katayama (2009) Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer, E92-A (11). pp. 2772-2780. ISSN 0916-8508