/EMF_Containment

EMF Support for containment mechanism

Primary LanguageJavaEclipse Public License 1.0EPL-1.0

EMF_Containment

This feature provides EMF support for containment mechanism for Event-B.