Registered user since Thu 9 Nov 2023

Name:Omkar Tuppe
Country:India
Affiliation:IIT Bombay
Research interests:Formal Verification, Program Analysis

Contributions