Home > LASER Publications > Electronic Enterprise Institute > Jamieson M. Cobleigh
All Publications

Static Analysis [...]

Process Programming and Workflow [...]

Software Development [...]

Case Studies [...]

Electronic Enterprise Institute »

Improving Diversity

Jump To:

LASER Publications

Electronic Enterprise Institute

by Jamieson M. Cobleigh


Verifying Properties of Process Definitions
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil, ACM Sigsoft 2000 International Symposium on Software Testing and Analysis (ISSTA 2000), Portland, OR, pp. 96-101, August 2000. (UM-CS-1999-063)

[ PostScript ] [ PDF ] [ ACM ]

Notice: We present this material to ensure timely and wide dissemination of our work. All persons copying this material must adhere to the terms of the relevant copyrights

This site is maintained by the Laboratory for Advanced Software Engineering Research.
© 2011 University of Massachusetts AmherstSite Policies