Statistics
Publications
1
Citations
72
H-Index
1
Active since
2016
David Archer is an author specializing in proof assistants, data science, and computing.
Publications per year
2016–2016
1
1
8th USENIX Workshop on the Theory and Practice of Provenance (TaPP '16)
Rui Abreu, David Archer, Erin Chapman et al. · 2016 · 72 citations
1–1 of 1