CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1984 -
January 1984 -
An implementation of the B programming language Tech Report
January 1984 -
Description of B Tech Report
January 1984 -
A user's guide to the B system Tech Report
January 1984 -
A strategy for computer integrated manufacturing systems : processing and communication Tech Report
C.L. Blom (Kees), A. Choudry, P.J.W. ten Hagen (Paul), L.O. Hertzberger, B. Janssen, A.A.M. Kuijk (Fons), F. Tuynman and W.E. van Waning
January 1984 -
January 1984 -
January 1984