Statistics
Publications
1
Citations
26
H-Index
1
Active since
1975
Affiliations
Bank of England(Current)
C. R. Mann is an author at Bank of England specializing in formal methods, proof assistants, and proof complexity.
Publications per year
1975–1975
1
1