Statistics
Publications
13
Citations
879
H-Index
12
Active since
1987
Justin M Spivey is an author at University of Oxford specializing in pharmacology, computer science, and pharmacy.
Publications per year
1987–2020
13
13
C. A. R. Hoare, Ian J. Hayes, He Jifeng et al. · Communications of the ACM · 1987 · 389 citations · Full text
An introduction to Z and formal specifications
Justin M Spivey · Software Engineering Journal · 1989 · 141 citations
Fast, accurate call graph profiling
Justin M Spivey · Software Practice and Experience · 2003 · 85 citations
Justin M Spivey · IEEE Software · 1990 · 56 citations
1–5 of 13