Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jude Anil
conf.researchr.org general profile
ICSE 2020 profile
Not registered as user yet
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
x
Mon 18 Nov 15:12