Home » Publications » Refereed Papers » Domain-Specific Model Verification with QVT

 
 

Domain-Specific Model Verification with QVT

 

Elaasar, M., Briand, L., Labiche, Y.: “Domain-Specific Model Verification with QVT”. Proceedings of ECMFA 2011, LNCS, vol. 6689, pp. 282-298, Birmingham, England, June, 2011.

Official Paper

Download (PDF, 189KB)