Author:
Mammar Amel,Frappier Marc,Laleau Régine
Publisher
Springer Science and Business Media LLC
Reference29 articles.
1. Abrial, J.R.: The B-Book – Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Abrial, J.: Modeling in Event-B. Cambridge University Press, Cambridge (2010)
3. Lecture Notes in Computer Science;P. Arcaini,2020
4. Börger, E., Stärk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Berlin (2003)
5. Lecture Notes in Computer Science;E.M. Clarke,2008