B Language Metamodel in Ecore format + OCL well-formedness rules

Ju
Artifact Details
Author(s): 
Juan Cadavid
Organization(s): 
INRIA
Artifact Description: 

Metamodel created at IMAG. Special thanks to Akram Idani.

Revision Summary: 
No revisions submitted.
Tags
Artifact Development Contexts: 
Artifact Types: 
Rating: 
0
No votes yet