Statistics
Publications
3
Citations
84
H-Index
3
Active since
1983
Affiliations
University of Cambridge(Current)
Avra Cohn is an author at University of Cambridge specializing in formal methods, computer science, and computing.
Publications per year
1983–2021
3
3
The notion of proof in hardware verification
Avra Cohn · Journal of Automated Reasoning · 1989 · 63 citations
1–3 of 3