Formal methods in the development of the H1 Transputer

Bibliografske podrobnosti
Main Authors: Roscoe, A, Cox, A, Goldsmith, M, Scattergood, J
Format: Conference item
Izdano: IOS 1991