Formal methods in the development of the H1 Transputer

Dades bibliogràfiques
Autors principals: Roscoe, A, Cox, A, Goldsmith, M, Scattergood, J
Format: Conference item
Publicat: IOS 1991