TITLE     : Experimenting with formal verification and model-based development: the case of UMC and Sparx EA
AUTHOR(S) : Basile D
TYPE      : Other
YEAR      : 2023
CODE      : 487372

*** DO NOT EDIT THIS FILE ***