Adaptation of the EMF translator for Event-B and Rodin
Primary LanguageJava
No issues in this repository yet.