Statistics
Publications
1
Citations
36
H-Index
1
Active since
2019
Affiliations
University of Nottingham(Current)
Martin A. T. Handley is an author at University of Nottingham specializing in formal methods, program efficiency, and invariants.
Publications per year
2019–2019
1
1