Manar Altamimi, Nawfal Al Hashimy, Asieh Salehi Fathabadi, Gary B. Wills. Property Ownership Formal Modelling Using Event-B and iUML-B. In Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra, editors, Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings. Volume 14759 of Lecture Notes in Computer Science, pages 191-200, Springer, 2024. [doi]
Abstract is missing.