Le, Luan Chi. 2020. “A Method for Modeling and Verifying of UML 2.0 Sequence Diagrams Using SPIN”. Journal of Science and Technology on Information Security 9 (01):20-28. https://doi.org/10.54654/isj.v9i01.37.