Not registered as user yet

Name: Avriti Chauhan

Affiliation: Tata Cosultancy Services

Contributions

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