THUAN, Truong Ninh; BINH, Trinh Thanh; HIEU, Vu Van. Formalizing and checking web service discovery models using B. <b>Journal of Computer Science and Cybernetics</b>, <i>[S. l.]</i>, v. 28, n. 1, p. 77–88, 2012. DOI: 10.15625/1813-9663/28/1/1068. Disponível em: https://jcc.vast.vn/jcc/article/view/1068. Acesso em: 4 nov. 2025.