%0 Conference Paper %1 conf/ccs/BackesMM03 %A Backes, Michael %A Meadows, Catherine A. %A Mitchell, John C. %B FMSE %D 2003 %E Backes, Michael %E Basin, David A. %I ACM %K %P 61-66 %T Relating cryptography and formal methods: a panel. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2003fmse.html#BackesMM03 %@ 1-58113-781-8

@inproceedings{conf/ccs/BackesMM03, added-at = {2023-12-14T14:39:47.000+0100}, author = {Backes, Michael and Meadows, Catherine A. and Mitchell, John C.}, biburl = {https://www.bibsonomy.org/bibtex/2f66a46fd62ca16effaf3ceebf9425f1d/admin}, booktitle = {FMSE}, crossref = {conf/ccs/2003fmse}, editor = {Backes, Michael and Basin, David A.}, ee = {https://doi.org/10.1145/1035429.1035436}, interhash = {e1d6b22a02909128eabad55b48431bac}, intrahash = {f66a46fd62ca16effaf3ceebf9425f1d}, isbn = {1-58113-781-8}, keywords = {}, pages = {61-66}, publisher = {ACM}, timestamp = {2023-12-14T14:39:47.000+0100}, title = {Relating cryptography and formal methods: a panel.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2003fmse.html#BackesMM03}, year = 2003 }