TITLE     : Specifica e verifica formale di un sottosistema software di controllo ferroviario
AUTHOR(S) : Bernadeschi C, Fantechi A, Gnesi S, Larosa S
TYPE      : Other
YEAR      : 1995
CODE      : 408401

*** DO NOT EDIT THIS FILE ***