Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Abrial, J.-R., Schuman, S.A., Meyer, B.: Specification Language. On the Construction of Programs (1980)
2. Abrial, J.-R.: The B-book: assigning programs to meanings. Cambridge University Press (1996)
3. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)
4. Abrial, J.-R., Su, W., Zhu, H.: Formalizing Hybrid Systems with Event-B. ABZ (2012)
5. Back, R.J., Kurki-Suonio, R.: Distributed Cooperation with Action Systems. ACM Transaction on Programming Languages and Systems (1988)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献