?url_ver=Z39.88-2004&rft_id=doi%3A10.1145%2F2695664.2696038&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Le%2C+Hong+Anh&rft.aulast=Le&rft.aufirst=Hong+Anh&rft.date=2015&rft.title=Verifying+eventuality+properties+of+imprecise+system+requirements+using+event-B&rft.btitle=Proceedings+of+the+30th+Annual+ACM+Symposium+on+Applied+Computing+-+SAC+'15&rft.genre=proceeding