TY - CPAPER
AU - Zamira Daw
AU - John Mangino
AU - Rance Cleaveland
BT - P&D@ MoDELS
LA - eng
PY - 2015
T2 - P&D@ MoDELS
TI - UML-VT: A Formal Verification Environment for UML Activity Diagrams.
ER -