TITLE     : Una tecnica di specifica basata sull'integrazione di Sadt e Z
AUTHOR(S) : Ciaccio G., Castelli D.
TYPE      : Other
YEAR      : 1995
CODE      : 240179

*** DO NOT EDIT THIS FILE ***