Registered user since Tue 26 Jan 2021

Name:Sandip Ghosal
Country:India
Affiliation:Indian Institute of Technology, Bombay

Contributions

ICSE 2021 Author of An Axiomatic Approach to Detect Information Leaks in Concurrent Programs within the NIER - New Ideas and Emerging Results-track