Verifying properties of process definitions.

Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil

Browse the full ISSTA paper archive.