DANG, Duc-Hanh; NGUYEN, Thi-Hanh. A Contract-Based Specification Method for Model Transformations. VNU Journal of Science: Computer Science and Communication Engineering, [S.l.], p. 1-20, apr. 2023. ISSN 2588-1086. Available at: <//jcsce.vnu.edu.vn/index.php/jcsce/article/view/657>. Date accessed: 04 june 2023. doi: https://doi.org/10.25073/2588-1086/vnucsce.657.