Registered user since Tue 6 Jul 2021

Name:Avriti Chauhan
Affiliation:Tata Cosultancy Services

Contributions

ASE 2019 Author of VeriAbs : Verification by Abstraction and Test Generation within the Demonstrations-track