Laura González 0001, Raúl Ruggia. Formalizing a Policy-based Compliance Control Solution with Event-B. In Marten van Sinderen, Leszek A. Maciaszek, editors, Proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019. pages 605-613, SciTePress, 2019. [doi]
Abstract is missing.