research
∙
05/29/2017
VERIFAS: A Practical Verifier for Artifact Systems
Data-driven workflows, of which IBM's Business Artifacts are a prime exp...
research
∙
05/26/2017