TY - JOUR
AU - Zamira Daw
AU - Rance Cleaveland
BT - arXiv preprint arXiv:1604.02386
LA - eng
PY - 2016
T2 - arXiv preprint arXiv:1604.02386
TI - An extensible formal semantics for UML activity diagrams
ER -