BProVe: Tool Support for Business Process Verification Open new browser tab Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea (2017)
