Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}