Verifying Business Process Compatibility (8th International Conference on Quality Software (QSIC), 2008)

(untitled) - Wong, P; Gibbons, J