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.], v. 39, n. 1, apr. 2023. ISSN 2588-1086. Available at: <//jcsce.vnu.edu.vn/index.php/jcsce/article/view/657>. Date accessed: 20 nov. 2024. doi: https://doi.org/10.25073/2588-1086/vnucsce.657.