Not registered as user yet

Name:R.K. Shyamasundar
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