TY  - RPRT
TI  - An Axiomatic Approach to Detect Information Leaks in Concurrent Programs
AU  - Sandip Ghosal
AU  - R. K. Shyamasundar
PY  - 2021
UR  - https://arxiv.org/abs/2103.02171
ID  - 2103.02171
ER  -