%0 Conference Paper %1 conf/snapl/CifuentesB19 %A Cifuentes, Cristina %A Bierman, Gavin M. %B SNAPL %D 2019 %E Lerner, Benjamin S. %E Bodík, Rastislav %E Krishnamurthi, Shriram %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 3:1-3:15 %T What is a Secure Programming Language? %U http://dblp.uni-trier.de/db/conf/snapl/snapl2019.html#CifuentesB19 %V 136 %@ 978-3-95977-113-9

@inproceedings{conf/snapl/CifuentesB19, added-at = {2019-07-12T00:00:00.000+0200}, author = {Cifuentes, Cristina and Bierman, Gavin M.}, biburl = {https://www.bibsonomy.org/bibtex/217090b683b0a7334b71d89bf8c2f64dc/dblp}, booktitle = {SNAPL}, crossref = {conf/snapl/2019}, editor = {Lerner, Benjamin S. and Bodík, Rastislav and Krishnamurthi, Shriram}, ee = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.3}, interhash = {7b82468c0cb50f2a45df94f1a131f367}, intrahash = {17090b683b0a7334b71d89bf8c2f64dc}, isbn = {978-3-95977-113-9}, keywords = {dblp}, pages = {3:1-3:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:47:58.000+0100}, title = {What is a Secure Programming Language?}, url = {http://dblp.uni-trier.de/db/conf/snapl/snapl2019.html#CifuentesB19}, volume = 136, year = 2019 }