Occam in the specification and verification of microprocessors
A. W. Roscoe
Details
| Journal |
Phil Trans R. Soc. Lond A |
| Note |
Also in Mechanised Reasoning and Hardware Design‚ M.J.C. Gordon and C.A.R. Hoare‚ eds (Prentice−Hall‚ 1992)‚ extended version available at http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/45ex.ps |
| Pages |
137−151 |
| Volume |
339 |
| Year |
1992 |
Links
Related pages
|
People |
|
|
Activities |