Skip to main content

Editorial

C. A. R. Hoare

Journal
J. Log. Comput.
Number
3
Pages
215−216
Volume
4
Year
1994