Registered user since Tue 22 Jun 2021
Name:Amey Zare
Affiliation:TCS Research
Research interests:Formal Verification, Program Synthesis
Contributions
ICST 2023-profile
View general profile
View general profile
Registered user since Tue 22 Jun 2021
Contributions