Skip to main content

Formal methods in the development of the H1 Transputer

A. W. Roscoe‚ A.D.B. Cox‚ M.H. Goldsmith and J.B. Scattergood

Book Title
Proceedings of Transputing 91
Publisher
IOS
Year
1991