conf.researchr.org / A Asia
Not registered as user yet
Name:A Asia
Affiliation:Tata Cosultancy Services
Contributions
| ASE 2019 | Author of VeriAbs : Verification by Abstraction and Test Generation within the Demonstrations-track |
Not registered as user yet
Contributions
| ASE 2019 | Author of VeriAbs : Verification by Abstraction and Test Generation within the Demonstrations-track |