TITLE     : CMC_ model checker per la logica SOCL
AUTHOR(S) : Mazzanti F
TYPE      : Software
YEAR      : 2008
CODE      : 151924

*** DO NOT EDIT THIS FILE ***