Author:
Rivera Victor,Lee JooYoung,Mazzara Manuel
Publisher
Springer International Publishing
Reference10 articles.
1. Abrial J-R (2010) Modeling in Event-B: system and software design. Cambridge University Press, New York
2. Cataño N, Rivera V (2016) EventB2Java: a code generator for Event-B. Springer International Publishing, Cham, pp 166–171
3. Edmunds A, Butler M (2010) Tool support for Event-B code generation, February 2010
4. Meyer B (1992) Eiffel: the language. Prentice-Hall Inc., Upper Saddle River
5. Méry D, Singh NK (2011) Automatic code generation from Event-B models. In: Proceedings of the second symposium on information and communication technology, SoICT 2011. ACM, New York, pp 179–188
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献