| 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 | |