?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Pham%2C+Ngoc+Hung&rft.aulast=Pham&rft.aufirst=Ngoc+Hung&rft.issue=11&rft.volume=E92-A&rft.date=November+2009&rft.issn=0916-8508&rft.atitle=Modular+Conformance+Testing+and+Assume-Guarantee+Verification+for+Evolving+Component-Based+Software&rft.title=IEICE+TRANSACTIONS+on+Fundamentals+of+Electronics%2C+Communications+and+Computer&rft.pages=2772-2780&rft.genre=article