CHU THI MINH HUE; TRINH THI NHI; NGUYEN TUAN DAT. FORMAL SEMANTIC FOR UCML. UTEHY Journal of Applied Science and Technology, v. 33, p. 27-33, 31 Mar. 2022.