TITLE     : Stratego formal models and experiments for the paper published at FORTE2020
AUTHOR(S) : Basile D
TYPE      : Software
YEAR      : 2020
CODE      : 456753

*** DO NOT EDIT THIS FILE ***