Specifying the Correctness Properties of Model Transformations
Thu, 06/26/2008 - 12:46pm
| Title | Specifying the Correctness Properties of Model Transformations |
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | Narayanan, A., and G. Karsai |
| Conference Name | 3rd International Workshop on Graph and Model Transformation (GraMoT) |
| Date Published | 05/2008 |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering