An ASM Semantics for UML Activity Diagrams and UML State Machines

Bibliografski detalji
Glavni autori: Boerger, E, Cavarra, A, Riccobene, E
Format: Conference item
Izdano: 2000