TY  - RPRT
TI  - Formalizing UML State Machines for Automated Verification -- A Survey
AU  - Étienne André
AU  - Shuang Liu
AU  - Yang Liu
AU  - Christine Choppy
AU  - Jun Sun
AU  - Jin Song Dong
PY  - 2024
DO  - 10.1145/3579821
UR  - https://arxiv.org/abs/2407.17215
ID  - 2407.17215
ER  -