Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Zamira Daw  [Clear All Filters]
2015
An Extensible Operational Semantics for UML Activity Diagrams, Daw, Zamira, and Cleaveland Rance , Software Engineering and Formal Methods - 13th International Conference, {SEFM} 2015, York, UK, September 7-11, 2015. Proceedings, (2015)