Formal Modeling and Verification of Context-Aware Systems using Event-B Journal title: EAI Endorsed Transactions on Context-aware Systems and Applications Authors: Hong Anh Le, Ninh Thuan Truong Subject(s): Computer and Information Science, Data Communication and Networks
