Not registered as user yet

Name:Advaita Datar
Affiliation:Tata Consultancy Services Ltd

Contributions

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