• Sign in
  • Sign up
conf.researchr.org / Priyanka Darke
  • ASE 2019 profile
  • PLDI 2018 profile

Registered user since Fri 28 Dec 2018

Name:Priyanka Darke
Affiliation:Tata Consultancy Services

Contributions

ASE 2019 Author of VeriAbs : Verification by Abstraction and Test Generation within the Demonstrations-track
LCTES 2018 Author of WIP: Statically Relating Program Properties for Efficient Verification within the LCTES 2018-track

Share
xSat 2 Jul 23:03
using conf.researchr.org (v1.56.1)
Support page
Sign Up