Statistics
Publications
4
Citations
99
H-Index
4
Active since
2013
Affiliations
University of Washington(Current)
John Toman is an author at University of Washington specializing in programming languages, computing, and computer science.
Publications per year
2013–2019
4
4
Crust: A Bounded Verifier for Rust (N)
John Toman, Stuart Pernsteiner, Emina Torlak · 2015 · 42 citations
Brianna M. Ren, John Toman, T. Stephen Strickland et al. · 2013 · 28 citations
1–4 of 4