Formal Verification of Model Transformation Systems
Title | Formal Verification of Model Transformation Systems |
Publication Type | Conference Paper |
Year of Publication | 2002 |
Authors | Salamon, G., Varró, D., and Pataricza, A. |
Conference Name | EDCC 2002: Fourth European Dependable Computing Conference: Fast Abstracts |
Date Published | October 23–25 |
Conference Location | Toulouse, France |