"Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe."

Messaoud Abbas et al. (2021)
a service of Schloss Dagstuhl - Leibniz Center for Informatics