TITLE     : Formal verification of safety requirements on complex systems
AUTHOR(S) : Bernardeschi C, Fantechi A, Gnesi S
TYPE      : Conference article
YEAR      : 1996
CODE      : 410854

*** DO NOT EDIT THIS FILE ***