Towards Verifying Model Transformations
Thu, 06/26/2008 - 12:19pm
| Title | Towards Verifying Model Transformations |
| Publication Type | Journal Article |
| Year of Publication | 2008 |
| Authors | Narayanan, A., and G. Karsai |
| Journal | Electronic Notes in Theoretical Computer Science |
| Volume | 211 |
| Pagination | p.191-200 |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering