Author:
Edmunds Andrew,Snook Colin,Walden Marina
Publisher
Springer International Publishing
Reference29 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.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
4. Communications in Computer and Information Science;R Banach,2014
5. Butler, M., Colley, J., Edmunds, A., Snook, C., Evans, N., Grant, N., Marshall, H.: Modelling and refinement in CODA. In: Refine, pp. 36–51 (2013)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献