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
A. W. Roscoe‚ A.D.B. Cox‚ M.H. Goldsmith and J.B. Scattergood