conf.researchr.org / Shrawan Kumar
Not registered as user yet
Name: Shrawan Kumar
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
Name: Shrawan Kumar
Affiliation: Tata Cosultancy Services
Contributions
| ASE 2019 | Author of VeriAbs : Verification by Abstraction and Test Generation within the Demonstrations-track |