%0 Conference Paper %1 conf/csfw/JiaS0D15 %A Jia, Limin %A Sen, Shayak %A Garg, Deepak %A Datta, Anupam %B CSF %D 2015 %E Fournet, Cédric %E Hicks, Michael W. %E Viganò, Luca %I IEEE Computer Society %K dblp %P 512-525 %T A Logic of Programs with Interface-Confined Code. %U http://dblp.uni-trier.de/db/conf/csfw/csf2015.html#JiaS0D15 %@ 978-1-4673-7538-2

@inproceedings{conf/csfw/JiaS0D15, added-at = {2023-06-26T00:00:00.000+0200}, author = {Jia, Limin and Sen, Shayak and Garg, Deepak and Datta, Anupam}, biburl = {https://www.bibsonomy.org/bibtex/2b74b05dcb1129ca881fd3302447a0757/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2015}, editor = {Fournet, Cédric and Hicks, Michael W. and Viganò, Luca}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSF.2015.38}, interhash = {76fc1c92a7cb174b7a4d4e89816584c5}, intrahash = {b74b05dcb1129ca881fd3302447a0757}, isbn = {978-1-4673-7538-2}, keywords = {dblp}, pages = {512-525}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:43:17.000+0200}, title = {A Logic of Programs with Interface-Confined Code.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2015.html#JiaS0D15}, year = 2015 }