%0 Conference Paper %1 conf/pldi/GampeR13 %A Gampe, Andreas %A von Ronne, Jeffery %B PLAS %D 2013 %E Naldurg, Prasad %E Swamy, Nikhil %I ACM %K dblp %P 27-38 %T Security completeness: towards noninterference in composed languages. %U http://dblp.uni-trier.de/db/conf/pldi/plas2013.html#GampeR13 %@ 978-1-4503-2144-0

@inproceedings{conf/pldi/GampeR13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Gampe, Andreas and von Ronne, Jeffery}, biburl = {https://www.bibsonomy.org/bibtex/2c5ff278712f10a7ab5c0d63894b2cfe3/dblp}, booktitle = {PLAS}, crossref = {conf/pldi/2013plas}, editor = {Naldurg, Prasad and Swamy, Nikhil}, ee = {https://doi.org/10.1145/2465106.2465122}, interhash = {848ec74cd6a5494433524a9bb5bf68bd}, intrahash = {c5ff278712f10a7ab5c0d63894b2cfe3}, isbn = {978-1-4503-2144-0}, keywords = {dblp}, pages = {27-38}, publisher = {ACM}, timestamp = {2018-11-07T16:16:54.000+0100}, title = {Security completeness: towards noninterference in composed languages.}, url = {http://dblp.uni-trier.de/db/conf/pldi/plas2013.html#GampeR13}, year = 2013 }