• Sign in
  • Sign up
conf.researchr.org / Shrawan Kumar
  • ASE 2019 profile
  • PLDI 2021 profile

Not registered as user yet

Name:Shrawan Kumar
Affiliation:Tata Cosultancy Services

Contributions

LCTES 2021 Author of WIP:Selective Path-sensitive Interval Analysis within the LCTES 2021-track
ASE 2019 Author of VeriAbs : Verification by Abstraction and Test Generation within the Demonstrations-track

Share
xMon 15 Aug 20:40
using conf.researchr.org (v1.56.0)
Support page
Sign Up