Talk at ICSOC15

Alessio Lomuscio presented the paper entitled “Verification of GSM-based
Artifact-centric Systems by Predicate Abstraction” at the
13th International Conference on Service Oriented Computing (ICSOC15) in
Goa, India. This is joint work with VAS’s former members: P. Gonzalez and A. Griesmayer.