A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management
Keyword(s):
Keyword(s):