?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=8&rft.volume=E93-D&rft.date=August+2010&rft.issn=0916-8532&rft.atitle=A+Minimized+Assumption+Generation+Method+for+Component-Based+Software+Verification&rft.title=IEICE+Transactions+on+Information+and+Systems&rft.pages=2172-2181&rft.genre=article