AUTO and Autograph (1990)

by V Roy, R De Simone
Venue:in Proceedings of the Workshop on Computer Aided Verification, LNCS 531