Concepedia

Claire Quigley

CQ

Statistics

Publications

1

Citations

62

H-Index

1

Active since

2006

Affiliations

University of Cambridge(Current)

Claire Quigley is an author at University of Cambridge specializing in verification, automated reasoning, and formal verification.

Top concepts

Publications per year

2006–2006

1

Publications

1

Automation for interactive proof: First prototype

Meng Jia, Claire Quigley, Lawrence C. Paulson · Information and Computation · 2006 · 62 citations

, , +7

1–1 of 1