Linda Mohand-Oussaïd, Idir Aït-Sadoune. Formal Modelling of Domain Constraints in Event-B. In Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche, editors, Model and Data Engineering - 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings. Volume 10563 of Lecture Notes in Computer Science, pages 153-166, Springer, 2017. [doi]
Abstract is missing.