Statistics
Publications
1
Citations
35
H-Index
1
Active since
2018
Affiliations
Carnegie Mellon University(Current)
John Kotheimer is an author at Carnegie Mellon University specializing in formal methods, parallel programming, and system software.
Publications per year
2018–2018
1
1
Rijnard van Tonder, John Kotheimer, Claire Le Goues · 2018 · 35 citations
1–1 of 1