Chu Thi Minh Hue, Trinh Thi Nhi, Nguyen Tuan Dat. FORMAL SEMANTIC FOR UCML. jst [Internet]. 2022Mar.31 [cited 2024Dec.22];33:27-3. Available from: http://tapchi.utehy.edu.vn/index.php/jst/article/view/518