?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=9&rft.volume=95-A&rft.date=2012&rft.issn=0916-8508&rft.atitle=On+Optimization+of+Minimized+Assumption+Generation+Method+for+Component-Based+Software+Verification&rft.title=IEICE+TRANSACTIONS+on+Fundamentals+of+Electronics%2C+Communications+and+Computer&rft.pages=1451-1460&rft.genre=article