?url_ver=Z39.88-2004&rft_id=https%3A%2F%2Fdoi.org%2F10.25073%2F2588-1086%2Fvnucsce.209&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Tran%2C+Hoang+Viet&rft.aulast=Tran&rft.aufirst=Hoang+Viet&rft.issue=2&rft.volume=34&rft.date=25+December+2018&rft.issn=2588-1086&rft.atitle=On+Locally+Strongest+Assumption+Generation+Method+for+Component-Based+Software+Verification&rft.title=VNU+Journal+of+Science%3A+Computer+Science+and+Communication+Engineering&rft.pages=16-32&rft.genre=article