@article{{JCSCE}{}, author = {Dang, D., Nguyen, T.}, title = { A Contract-Based Specification Method for Model Transformations}, journal = {VNU Journal of Science: Computer Science and Communication Engineering}, volume = {39}, number = {1}, year = {2023}, doi = {10.25073/2588-1086/vnucsce.657}, url = {//jcsce.vnu.edu.vn/index.php/jcsce/article/view/657} }