Chu Thi Minh Hue, Trinh Thi Nhi and Nguyen Tuan Dat 2022. FORMAL SEMANTIC FOR UCML. UTEHY Journal of Applied Science and Technology. 33, (Mar. 2022), 27-33.