Formal Verification of Model Transformation Systems
| Cím | Formal Verification of Model Transformation Systems |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2002 |
| Szerzők | Salamon, G., Varró, D., and Pataricza, A. |
| Konferencia neve | EDCC 2002: Fourth European Dependable Computing Conference: Fast Abstracts |
| Kiadás dátuma | October 23–25 |
| Konferencia helyszíne | Toulouse, France |
