Publications in Venue "Microprocessing and Microprogramming"
| 1. | R. Zimmer, A. MacDonald, R. Holte. " CAD for Verified Hardware Design via Category Theory". Microprocessing and Microprogramming, 32, pp 691-698, June 1991.  |
Not Logged In
PapersDB
|
|
|
| 1. | R. Zimmer, A. MacDonald, R. Holte. " CAD for Verified Hardware Design via Category Theory". Microprocessing and Microprogramming, 32, pp 691-698, June 1991. |
|
|
|
|