Formal Methods in the development of the H1 transputer

Formal Methods in the development of the H1 transputer

Show other versions (1)
Bibliographic Details
Main Authors: Roscoe, A, Goldsmith, M, Cox, A, Scattergood, J
Format: Conference item
Published: IOS Press 1991

Similar Items