TITLE     : Reproduction package: a runtime environment for contract automata
AUTHOR(S) : Basile D
TYPE      : Software
YEAR      : 2022
CODE      : 485289

*** DO NOT EDIT THIS FILE ***