Formal Methods in the development of the H1 transputer

Bibliográfalaš dieđut
Váldodahkkit:	Roscoe, A, Goldsmith, M, Cox, A, Scattergood, J
Materiálatiipa:	Conference item
Almmustuhtton:	IOS Press 1991

Formal methods in the development of the H1 Transputer Dahkki Roscoe, A, Cox, A, Goldsmith, M, Scattergood, J

Almmustuhtton 1991

Conference item