1.
Le LC. A Method for Modeling and Verifying of UML 2.0 Sequence Diagrams using SPIN. ISJ [Internet]. 2020Apr.9 [cited 2023Jun.3];9(01):20-8. Available from: https://isj.vn/index.php/journal_STIS/article/view/37