Sign in
An Axiomatic Approach to Detect Information Leaks in Concurrent Programs.
Sandip Ghosal
R. K. Shyamasundar
Published in:
ICSE (NIER) (2021)
Keyphrases
</>
information flow
case study
machine learning
natural language