![](/img/cover-not-exists.png)
[IEEE 2015 IEEE 28th Computer Security Foundations Symposium (CSF) - Verona, Italy (2015.7.13-2015.7.17)] 2015 IEEE 28th Computer Security Foundations Symposium - A Logic of Programs with Interface-Confined Code
Jia, Limin, Sen, Shayak, Garg, Deepak, Datta, AnupamYear:
2015
Language:
english
DOI:
10.1109/csf.2015.38
File:
PDF, 375 KB
english, 2015