TITLE     : Incremental development of a tool for equivalence verification
AUTHOR(S) : Bolognesi T, Caneve M
TYPE      : Other
YEAR      : 1987
CODE      : 434660

*** DO NOT EDIT THIS FILE ***