Statistics
Publications
2
Citations
83
H-Index
2
Active since
1986
C.A.R. Hoare is an author specializing in philosophy, relational calculus, and separation of powers.
Publications per year
1986–1986
2
2
The Weakest Prespecification, Part I
C.A.R. Hoare, He Jifeng · Fundamenta Informaticae · 1986 · 63 citations
The Weakest Prespecification, Part II
C.A.R. Hoare, He Jifeng · Fundamenta Informaticae · 1986 · 20 citations
1–2 of 2