1. Formalizing and testing the consistency of DSL transformations. (April 2016) Authors: Keshishzadeh, Sarmen; Mooij, Arjan Journal: Formal aspects of computing Issue: Volume 28:Number 2(2016) Page Start: 181 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Formalizing and testing the consistency of DSL transformations. (April 2016) Authors: Keshishzadeh, Sarmen; Mooij, Arjan Journal: Formal aspects of computing Issue: Volume 28:Number 2(2016) Page Start: 181 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗