Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Avriti Chauhan
conf.researchr.org general profile
ASE 2019 profile
Registered user since Tue 6 Jul 2021
Name:
Avriti Chauhan
Affiliation:
Tata Cosultancy Services
Contributions
2019
ASE
Author of VeriAbs : Verification by Abstraction and Test Generation within the Demonstrations-track
Share
x
Fri 19 Apr 20:42