Author:
Edmunds Andrew,Waldén Marina
Publisher
Springer International Publishing
Reference27 articles.
1. The Rodin User’s Handbook. http://handbook.event-b.org/
2. Lecture Notes in Computer Science;A Iliasov,2010
3. Abrial, J.R.: The B Book - Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
4. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
5. Abrial, J.R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to Event-B. Fundam. Inform. 77(1–2), 1–28 (2007)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Component-Based Reuse for Event-B;Lecture Notes in Computer Science;2016