Formal Methods in the development of the H1 transputer
AW Roscoe‚ MH Goldsmith‚ ADB Cox and JB Scattergood
Book Title
Proceedings of the world transputer user group (WOTUG) conference on Transputing'91
Organisation
IOS Press
Pages
629–642
Year
1991
AW Roscoe‚ MH Goldsmith‚ ADB Cox and JB Scattergood