Dang, Duc-Hanh, & Thi-Hanh Nguyen.
" A Contract-Based Specification Method for Model Transformations." <em>VNU Journal of Science: Computer Science and Communication Engineering</em> [Online], 39.1 (2023): n. pag. Web. 10 May. 2025