TITLE     : A runtime environment for contract automata
AUTHOR(S) : Basile D
TYPE      : Other
YEAR      : 2023
CODE      : 487376

*** DO NOT EDIT THIS FILE ***