Publisher
Springer Nature Switzerland
Reference9 articles.
1. Abrial, J.: The B-Book - Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996). https://doi.org/10.1017/CBO9780511624162
2. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
3. Abrial, J., Butler, M.J., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12(6), 447–466 (2010). https://doi.org/10.1007/S10009-010-0145-Y
4. Brucker, A.D., Tuong, F., Wolff, B.: Model transformation as conservative theory-transformation. J. Object Technol. 19(3), 3:1–16 (2020) https://doi.org/10.5381/JOT.2020.19.3.A3
5. Cansell, D., Méry, D.: Foundations of the B method. Comput. Artif. Intell. 22(3-4), 221–256 (2003). http://www.cai.sk/ojs/index.php/cai/article/view/456