conf.researchr.org / Jude Anil
Not registered as user yet
Name:Jude Anil
Affiliation:TCS Research
Contributions
| ICSE 2020 | Author of Using Hypersafety Verification for Proving Correctness of Programming Assignments within the New Ideas and Emerging Results-track |