Rafe, Vahid and Rafeh, Reza and Azize, Somayeh and Zand Miralvand, Mohammad Reza (2009) Verification and Validation of Activity Diagrams Using Graph Transformation. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED