DANG, Duc-Hanh; 						NGUYEN, Thi-Hanh.
 A Contract-Based Specification Method for Model Transformations.
<strong>VNU Journal of Science: Computer Science and Communication Engineering</strong>, [S.l.], v. 39, n. 1, apr. 2023.
ISSN 2588-1086.
Available at: &lt;<a href="//jcsce.vnu.edu.vn/index.php/jcsce/article/view/657" target="_new">//jcsce.vnu.edu.vn/index.php/jcsce/article/view/657</a>&gt;. Date accessed: 24 apr. 2024.
doi: <a href="https://doi.org/10.25073/2588-1086/vnucsce.657">https://doi.org/10.25073/2588-1086/vnucsce.657</a>.