Tool support for verifying UML activity diagrams (0)

by R Eshuis, R Wieringa
Venue:IEEE Trans. Software Eng