Auto and autograph (1990)

by V Roy, R de Simone
Venue:in Workshop on Computer Aided Verification, New-Brunswick. LNCS 531