Formal methods in the development of the H1 Transputer
A. W. Roscoe‚ A.D.B. Cox‚ M.H. Goldsmith and J.B. Scattergood
Details
| Book Title |
Proceedings of Transputing 91 |
| Publisher |
IOS |
| Year |
1991 |
Links
Related pages
|
People |