%0 Conference Paper %1 conf/ccs/FinifterMSW08 %A Finifter, Matthew %A Mettler, Adrian %A Sastry, Naveen %A Wagner, David A. %B ACM Conference on Computer and Communications Security %D 2008 %E Ning, Peng %E Syverson, Paul F. %E Jha, Somesh %I ACM %K dblp %P 161-174 %T Verifiable functional purity in java. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2008.html#FinifterMSW08 %@ 978-1-59593-810-7

@inproceedings{conf/ccs/FinifterMSW08, added-at = {2018-11-06T00:00:00.000+0100}, author = {Finifter, Matthew and Mettler, Adrian and Sastry, Naveen and Wagner, David A.}, biburl = {https://www.bibsonomy.org/bibtex/2c90c7e3ddb809403720b4d7dab59b108/dblp}, booktitle = {ACM Conference on Computer and Communications Security}, crossref = {conf/ccs/2008}, editor = {Ning, Peng and Syverson, Paul F. and Jha, Somesh}, ee = {https://doi.org/10.1145/1455770.1455793}, interhash = {6e3e8a8e3d489487a610c7c847c64836}, intrahash = {c90c7e3ddb809403720b4d7dab59b108}, isbn = {978-1-59593-810-7}, keywords = {dblp}, pages = {161-174}, publisher = {ACM}, timestamp = {2020-11-11T11:37:53.000+0100}, title = {Verifiable functional purity in java.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2008.html#FinifterMSW08}, year = 2008 }