Translation from Event-B into Eiffel

Sofia Reznikova; Victor Rivera; Joo Young Lee; Manuel Mazzara

For citations:

Reznikova S., Rivera V., Lee J.Y., Mazzara M. Translation from Event-B into Eiffel. Modeling and Analysis of Information Systems. 2018;25(6):623-636. https://doi.org/10.18255/1818-1015-2018-6-623-636

This work is licensed under a Creative Commons Attribution 4.0 License.

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)

Username
Password
	Remember me
Not a user? Register with this site Forgot your password?

User

Modeling and Analysis of Information Systems

For citations:

Cookies policy