TITLE     : LEARN PAD - Formal verification of business processes
AUTHOR(S) : Re B., Polini A., Gnesi S., Ferrari A., Fornari F., Spagnolo G.  O., Corradini F.
TYPE      : Other
YEAR      : 2015
CODE      : 354184

*** DO NOT EDIT THIS FILE ***