| Title | UML-VT: A Formal Verification Environment for UML Activity Diagrams. |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Daw, Zamira, Mangino John, and Cleaveland Rance |
| Conference Name | P&D@ MoDELS |
| Title | UML-VT: A Formal Verification Environment for UML Activity Diagrams. |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Daw, Zamira, Mangino John, and Cleaveland Rance |
| Conference Name | P&D@ MoDELS |
© Department of Computer Science, Stony Brook University, Stony Brook, NY 11794-2424
