On Ryszard Syski Article

J.W. Cohen

Annual report CWI 1997 : one-time publication on CD-ROM Other

Third international workshop on formal methods for industrial critical systems : held at CWI, Amsterdam, The Netherlands, 25-26.05.1998 Proceedings

Bibliotheek CWI gids = CWI Library guide Book

De opkomst van de informatietechnologie in Nederland : aangeboden door Centrum voor Wiskunde en Informatica Book

G. Alberts (Gerard), J. van den Ende and H. W. Lintsen

Description Complexity and Applications Book

M. Li (Ming) and P.M.B. Vitányi (Paul)

New generation Shelf flux models Tech Report

G. Stelling, D. Roose, B.P. Sommeijer (Ben), P.J. van der Houwen (Piet), J. Kok (Jan), H.X. Lin and K. Tan

A slicing-based approach for locating type errors Tech Report

T.B. Dinesh and F. Tip (Frank)