Sricharunrat* W, Vatanawood W. Consistency Check of Class Diagram and Sequence Diagrams Using B-Method. Curr. Appl. Sci. Technol. [internet]. 2018 Mar. 30 [cited 2026 Sep. 26];6(2a):241-9. available from: https://li01.tci-thaijo.org/index.php/cast/article/view/147853