Zheng Cheng, Rosemary Monahan, James F. Power. Formalised EMFTVM bytecode language for sound verification of model transformations. Software and Systems Modeling, 17(4):1197-1225, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.