Login / Signup

Domain-Specific Model Verification with QVT.

Maged ElaasarLionel C. BriandYvan Labiche
Published in: ECMFA (2011)
Keyphrases