• Sign in
  • Sign up
conf.researchr.org / Jude Anil
  • ICSE 2020 profile

Not registered as user

Name:Jude Anil
Affiliation:TCS Research

Contributions

2020

ICSE

  • Author of Using Hypersafety Verification for Proving Correctness of Programming Assignments within the New Ideas and Emerging Results-track
Share
xWed 16 Jul 03:09
using conf.researchr.org (v1.69.1)
Support page
Sign Up