Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Rigorous Open Development Environment for Complex Systems (RODIN) official website, http://www.event-b.org/
2. Abrial, J.-R.: The B-Book: Assigning programs to meanings. Cambridge (1996)
3. Abrial, J.-R.: Modeling in Event B: System and Softtware Design. Cambridge (to appear, 2007)
4. Lecture Notes in Computer Science;J.-R. Abrial,2002
5. Barnett, M., Leino, K.R.M., Schulte, W.: The Spec# programming system: An overview. In: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, pp. 49–69 (2005)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献