Conference Publication Details
Mandatory Fields
Zheng Cheng and Rosemary Monahan and James F. Power
4th International Workshop on the Verification Of Model Transformations
Verifying SimpleGT Transformations Using an Intermediate Verification Language
2015
July
In Press
0
()
Optional Fields
12
19
L'Aquila, Italy
http://ceur-ws.org/Vol-1530/paper3.pdf
Grant Details