Login / Signup
In memoriam: Edsger W. Dijkstra 1930-2002.
Robert S. Boyer
W. H. J. Feijen
David Gries
C. A. R. Hoare
Jayadev Misra
J. Moore
H. Richards
Published in:
Commun. ACM (2002)
Keyphrases
</>