Statistics
Publications
1
Citations
17
H-Index
1
Active since
2021
Affiliations
Indian Institute of Technology Mandi(Current)
Chirag Vashist is an author at Indian Institute of Technology Mandi specializing in formal verification, computer-aided design, and formal methods.
Publications per year
2021–2021
1
1
1–1 of 1