TITLE     : Verification of CAS
AUTHOR(S) : Bortolussi L, Cabri G, Di Marzo Serugendo G, Galpin V, Hillston J, Lanciani R, Massink M, Tribastone M, Weyns D
TYPE      : Other
YEAR      : 2014
CODE      : 331962

*** DO NOT EDIT THIS FILE ***