Statistics
Publications
3
Citations
32
H-Index
3
Active since
2017
Affiliations
Vikraman Choudhury is an author at Indiana University specializing in theory of computation, abstract interpretation, and type systems.
Publications per year
2017–2022
3
3
Refinement Reflection: Complete Verification with SMT
Niki Vazou, Anish Tondwalkar, Vikraman Choudhury et al. · arXiv (Cornell University) · 2017 · 11 citations · Full text
1–3 of 3