Context-aware approach for formal verification Journal title: EAI Endorsed Transactions on Context-aware Systems and Applications Authors: Amel Benabbou, Safia Nait Bahloul, Dhaussy Philippe Subject(s): Computer and Information Science, Data Communication and Networks
