Author:
Derrick John,Boiten Eerke
Publisher
Springer International Publishing
Reference17 articles.
1. Abrial J-R (2010) Modeling in Event-B: system and software engineering, 1st edn. Cambridge University Press, New York
2. Métayer C, Abrial J-R, Voisin L (2005) Event-B language, RODIN Project Deliverable 3.2. http://rodin.cs.ncl.ac.uk/deliverables/D7.pdf . Accessed 15 June 2018
3. Abrial J-R, Butler M, Hallerstede S, Hoang TS, Mehta F, Voisin L (2010) Rodin: an open toolset for modelling and reasoning in Event-B. STTT 12(6):447–466
4. Hallerstede S (2011) On the purpose of Event-B proof obligations. Form Asp Comput 23(1):133–150
5. Boiten EA (2014) Introducing extra operations in refinement. Form Asp Comput 26(2):305–317
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献