Statistics
Publications
2
Citations
47
H-Index
2
Active since
2012
Affiliations
University of Manchester(Current)
Kryštof Hoder is an author at University of Manchester specializing in automated proof checking, theorem proving, and formal methods.
Publications per year
2012–2012
2
2
Playing in the grey area of proofs
Kryštof Hoder, Laura Kovács · ACM SIGPLAN Notices · 2012 · 30 citations
Playing in the grey area of proofs
Kryštof Hoder, Laura Kovács · 2012 · 17 citations
1–2 of 2