Towards Verifying Model Transformations | |
---|---|
Author | |
Year of Publication |
2008
|
Journal |
Electronic Notes in Theoretical Computer Science
|
Volume |
211
|
Number of Pages |
p.191-200
|
Google Scholar | BibTeX | XML |