Publication

Formal semantics for refinement verification of entreprise models