Formal veri of a pipelined microprocessor (1990)

by M Srivas, M Bickford
Venue:IEEE Software