SRICHARUNRAT*, W.; VATANAWOOD, W. Consistency Check of Class Diagram and Sequence Diagrams Using B-Method. CURRENT APPLIED SCIENCE AND TECHNOLOGY, Bangkok, Thailand, v. 6, n. 2a, p. 241–249, 2018. Disponível em: https://li01.tci-thaijo.org/index.php/cast/article/view/147853. Acesso em: 27 aug. 2026.