Auto and autograph (1990)

by V Roy, R de Simone
Venue:In Proceedings of Workshop on Computer Aided Verication