Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations | |
---|---|
Author | |
Year of Publication |
2006
|
Journal |
Electronic Communications of the EASST
|
Volume |
4
|
Google Scholar | BibTeX | XML |