(2018). EB2Python - Traducción automática de especificaciones Event-B en Rodin a Python.
Chicago Style (17th ed.) CitationEB2Python - Traducción Automática De Especificaciones Event-B En Rodin a Python. 2018.
MLA (8th ed.) CitationEB2Python - Traducción Automática De Especificaciones Event-B En Rodin a Python. 2018.
Warning: These citations may not always be 100% accurate.