Le, Hong Anh and Truong, Ninh Thuan (2014) Formal Modeling and Verification of Context-Aware Systems using Event-B. In: 2014: the 2nd International Conference on Context-Aware Systems and Applications (ICCASA), 25-26 November 2013, Phu Quoc, Vietnam.