Work

Verification and Validation of UML Artifact-Centric Business Process Models