TITLE     : AMPL model for Weak Agreement in contract automata, implementation of weak liability checking, published at FORTE2016
AUTHOR(S) : Basile D
TYPE      : Software
YEAR      : 2016
CODE      : 456749

*** DO NOT EDIT THIS FILE ***