TITLE     : Formal verification
AUTHOR(S) : Bernardeschi C, Fantechi A, Gnesi S
TYPE      : Book
YEAR      : 2001
CODE      : 138981

*** DO NOT EDIT THIS FILE ***