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], (2023): 1-20. Web.  4 Jun. 2023