Registered user since Fri 9 Mar 2018
Name:Subhajit Roy
Country:India
Affiliation:IIT Kanpur
Contributions
| ICSE 2023 | A Theorem Proving Approach to Programming Language Semantics | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2023-profile
View general profile
View general profile