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 |
