@article{SisLab2040,
          volume = {E92-A},
          number = {11},
           month = {November},
          author = {Ngoc Hung Pham and aoki toshiaki and katayama takuya},
           title = {Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software},
       publisher = {IEICE},
            year = {2009},
         journal = {IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer},
           pages = {2772--2780},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2040/}
}