CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Ten years of Hoare s logic, a survey, part I Article
ACM Transactions on Programming Languages and Systems, 3(4), 431-483.January 1981
-
January 1981
-
January 1981
-
January 1981
-
Cook's tour of countable nondeterminism In Proceedings
January 1981
-
Preface : Stochastic systems : the mathematics of filtering and identification and applications Preface
January 1981
-
On the compactification of programs Article
Bulletin of EATCS, 37-39.January 1981
-
Why PASCAL Tech Report
January 1981