Skip to main content

A Hard Act to Follow

C. A. R. Hoare

Journal
Higher−Order and Symbolic Computation
Number
1/2
Pages
71−72
Volume
13
Year
2000