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