Skip to main content

Unifying Theories : A Personal Statement

C. A. R. Hoare

Journal
ACM Comput. Surv.
Number
4es
Pages
46
Volume
28
Year
1996