Publisher
Springer Nature Switzerland
Reference14 articles.
1. Why3, a tool for deductive program verification, GNU LGPL 2.1. https://www.why3.org/
2. Abrial, J.R.: The B-Book - Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
3. Abrial, J.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge (2010)
4. Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. STTT 12(6), 447–466 (2010)
5. Lecture Notes in Computer Science;C Alessio,2023