Verification support for workflow design with UML activity graphs.

Rik Eshuis, Roel J. Wieringa

Browse the full ICSE paper archive.