Dang, D., & Nguyen, T. (2023). A Contract-Based Specification Method for Model Transformations. VNU Journal Of Science: Computer Science And Communication Engineering, , 1-20. doi:10.25073/2588-1086/vnucsce.657