specification and verification of microprocessor systems (1989)

by “Formal J J Joyce
Venue:Integration, the VLSI Journal