Publisher
Springer Nature Switzerland
Reference36 articles.
1. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)
2. Lecture Notes in Computer Science;E Amparore,2019
3. AtelierB. http://www.atelierb.eu/en/. Accessed 27 May 2021
4. Attiogbé, C.: Semantic embedding of Petri nets into Event-B. In: Integration of Model-based Formal Methods Tools, Dusseldorf, Germany (2009)
5. Bendraou, R., Combemale, B., Crégut, X., Gervais, M.P.: Definition of an eXecutable SPEM 2.0. In: 14th Asia-Pacific Software Engineering Conference (APSEC), Nagoya, Japan, pp. 390–397. IEEE CS Press (2007)