UML-VT: A Formal Verification Environment for UML Activity Diagrams.
| Author | |
| Year of Publication | 2015 |
| Conference Name | P&D@ MoDELS |
| Download citation |
| Author | |
| Year of Publication | 2015 |
| Conference Name | P&D@ MoDELS |
| Download citation |