Garg, Deepak Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
Jia, L., Sen, S., Garg, D., & Datta, A. (2015). A Logic of Programs with Interface-Confined Code. In CSF 2015 (pp. 512-525). Piscataway, NJ: IEEE. doi:10.1109/CSF.2015.38.