Chu Thi Minh Hue, Trinh Thi Nhi, & Nguyen Tuan Dat. (2022). FORMAL SEMANTIC FOR UCML. UTEHY Journal of Science and Technology, 33, 27-33. Retrieved from http://jst.utehy.edu.vn/index.php/jst/article/view/518