DMCA

Automated Checking of Software Process Models

by Darren C. Atkinson , John Noll