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