Verification of Model Transformation
| Title | Verification of Model Transformation |
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | Horváth, Á. |
| Conference Name | Proceedings of the 15th PhD Minisymposium |
| Date Published | 02/2008 |
| Publisher | Budapest University of Technology and Economics, Department of Measurement and Information Systems |
| Conference Location | Budapest, Hungary |
