A semantic approach to secure information flow (0)

by R Joshi, K R M Leino
Venue:Science of Computer Programming