Statistics
Publications
6
Citations
296
H-Index
6
Active since
1990
Affiliations
P. H. B. Gardiner is an author at Oxford Research Group specializing in computer science, computing, and formal methods.
Publications per year
1990–2003
6
6
Data refinement by calculation
Carroll Morgan, P. H. B. Gardiner · Acta Informatica · 1990 · 61 citations
A single complete rule for data refinement
P. H. B. Gardiner, Carroll Morgan · Formal Aspects of Computing · 1993 · 53 citations
A tactic calculus — abridged version
Andrew Martin, P. H. B. Gardiner, Jim Woodcock · Formal Aspects of Computing · 1996 · 39 citations · Full text
1–5 of 6