Victor Rivera, Jooyoung Lee, Manuel Mazzara. Mapping Event-B Machines into Eiffel Programming Language. In Paolo Ciancarini, Manuel Mazzara, Angelo Messina, Alberto Sillitti, Giancarlo Succi, editors, Proceedings of 6th International Conference in Software Engineering for Defence Applications, SEDA 2018, Rome, Italy, June 7-8, 2018. Volume 925 of Advances in Intelligent Systems and Computing, pages 255-264, Springer, 2018. [doi]
Abstract is missing.