`Specification and Verification of Model Transformations using UML-RSDS', K. Lano, S. Kolahdouz-Rahimi, IFM 2010, LNCS vol. 6396, pp. 199--214, 2010 (2010)

First Author: Kevin Lano
Attributed to:  Higher-order Refinement Techniques for Model Driven Architecture funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract