Modelling generic hardware structures by abstract datatypes (1992)

by Kropf
Venue:International Workshop on Higher Order Logic Theorem Proving and its Applications