An ASM Semantics for UML Activity Diagrams and UML State Machines (ASM2000 Workshop, 2000)

(untitled) - Boerger, E; Cavarra, A; Riccobene, E