ISSTA 2022 (series) / Sumit Lahiri
Registered user since Sat 3 Apr 2021
Name:Sumit Lahiri
Affiliation:Indian Institute Of Technology Kanpur
Contributions
| ISSTA 2022 | Almost Correct Invariants: Synthesizing Inductive Invariants by Fuzzing Proofs | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ISSTA 2022-profile
View general profile
View general profile