`Specification and Verification of Model Transformations using UML-RSDS', K. Lano, S. Kolahdouz-Rahimi, IFM 2010, LNCS vol. 6396, pp. 199--214, 2010 (2010)
Attributed to:
Higher-order Refinement Techniques for Model Driven Architecture
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Conference/Paper/Proceeding/Abstract