CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Introduction to program verification In Proceedings
January 1991 -
Preserving liveness. Comments on: 'Safety and liveness from a methodological point of view' Article
Information Processing Letters, 40(3), 141-142.M. Abadi, B. Alpern, K.R. Apt (Krzysztof), N. Francez, S. Katz, L. Lamport and F.B. Schneider
January 1991 -
Convergence properties of the Runge-Kutta-Chebyshev method In Proceedings
J.G. Verwer (Jan), W. Hundsdorfer (Willem) and B.P. Sommeijer (Ben)
January 1991 -
An analysis of loop checking mechanisms for logic programs Article
Theoretical Computer Science, 86(1), 35-79.January 1991 -
Rendez-vous with metric semantics In Proceedings
January 1991 -
CCS for OO and LP In Proceedings
January 1991 -
Which new RSA signatures can be computed from some given RSA signatures? (extended abstract) In Proceedings
January 1991 -
A Bending Energy Model for Measurement of Cardiac Shape Deformity Article
IEEE Transactions on Medical Imaging, 10(3), 307-320.J. Duncan, F.A. Lee, A.W.M. Smeulders (Arnold) and B.L. Zaret
January 1991