DDD-FM9001: Derivation of a verified microprocessor (1993)

by B Bose, S D Johnson
Venue:In Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference (CHARME ’93), G.J.MilneandL.Pierre,Eds.LNCS,vol.683.Springer,Berlin