?url_ver=Z39.88-2004&rft_id=doi%3A10.1109%2FASPEC.2007.61&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Truong%2C+Ninh+Thuan&rft.aulast=Truong&rft.aufirst=Ninh+Thuan&rft.date=2007&rft.title=Using+B+to+Verify+the+Weaving+of+Aspects&rft.btitle=14th+Asia-Pacific+Software+Engineering+Conference+(APSEC'07)&rft.genre=proceeding