%0 Journal Article
%@ 0916-8508
%A Pham, Ngoc Hung
%A toshiaki, aoki
%A takuya, katayama
%D 2009
%F SisLab:2040
%I IEICE
%J IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer
%N 11
%P 2772-2780
%T Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2040/
%V E92-A