Idir Aït-Sadoune, Linda Mohand-Oussaïd. Building Formal Semantic Domain Model: An Event-B Based Approach. In Klaus-Dieter Schewe, Neeraj Kumar Singh, editors, Model and Data Engineering - 9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019, Proceedings. Volume 11815 of Lecture Notes in Computer Science, pages 140-155, Springer, 2019. [doi]
Abstract is missing.