?url_ver=Z39.88-2004&rft_id=10.1142%2FS0218194011005281+&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Nguyen%2C+Thu+Trang&rft.aulast=Nguyen&rft.aufirst=Thu+Trang&rft.issue=04&rft.volume=21&rft.date=1+June+2011&rft.atitle=Verifying+Java+Object+Invariants+at+Runtime&rft.title=International+Journal+of+Software+Engineering+and+Knowledge+Engineering&rft.pages=605-619&rft.genre=article