Scholar
Ankit Kumar
Google Scholar ID: 8f9-QK4AAAAJ
Northeastern University
Decision Procedures
Formal Verification
Programming Languages
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
32
H-index
4
i10-index
1
Publications
8
Co-authors
0
