Verification of Semantically-Enhanced Artifact Systems (Extended Version)

Open in new window