Correctness of Pipelined Machines (2000)

by P Manolios
Venue:Formal Methods in Computer-Aided Design, FMCAD 2000, LNCS