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 1 (9):20-28. https://doi.org/10.54654/isj.v9i01.37.