Zamira Daw

Daw, Z., & Cleaveland, R. (2015). An Extensible Operational Semantics for {UML} Activity Diagrams. Software Engineering and Formal Methods - 13th International Conference, {SEFM} 2015, York, UK, September 7-11, 2015. Proceedings. Presented at the. https://doi.org/10.1007/978-3-319-22969-0\_25