1
Publications
17
Citations
1
H-Index
2020
Active since
Affiliations
Bidisha Kashyap is an author at Vellore Institute of Technology University specializing in computer engineering, formal methods, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringComputer ArchitectureHardware VerificationSoftware Verification
Publications per year
2020–2020
1
1
Rows per page
1–1 of 1