Inproceedings,
Less is more: refinement proofs for probabilistic proofs.
K. Jiang, D. Chait-Roth, Z. DeStefano, M. Walfish, and T. Wies.SP, page 1112-1129. IEEE, (2023)
Meta data
- BibTeX key
- conf/sp/JiangCDWW23
- entry type
- inproceedings
- booktitle
- SP
- year
- 2023
- pages
- 1112-1129
- publisher
- IEEE
- crossref
- conf/sp/2023
- ee
- https://doi.org/10.1109/SP46215.2023.10179393
- isbn
- 978-1-6654-9336-9
- url
- http://dblp.uni-trier.de/db/conf/sp/sp2023.html#JiangCDWW23
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sp/JiangCDWW23
%A Jiang, Kunming
%A Chait-Roth, Devora
%A DeStefano, Zachary
%A Walfish, Michael
%A Wies, Thomas
%B SP
%D 2023
%I IEEE
%K dblp
%P 1112-1129
%T Less is more: refinement proofs for probabilistic proofs.
%U http://dblp.uni-trier.de/db/conf/sp/sp2023.html#JiangCDWW23
%@ 978-1-6654-9336-9
@inproceedings{conf/sp/JiangCDWW23,
added-at = {2024-02-05T00:00:00.000+0100},
author = {Jiang, Kunming and Chait-Roth, Devora and DeStefano, Zachary and Walfish, Michael and Wies, Thomas},
biburl = {https://www.bibsonomy.org/bibtex/2249c7cd4099f453edb4da8ee2b2680ca/dblp},
booktitle = {SP},
crossref = {conf/sp/2023},
ee = {https://doi.org/10.1109/SP46215.2023.10179393},
interhash = {5fecdb34a4822dd1bc116bd05811b1ec},
intrahash = {249c7cd4099f453edb4da8ee2b2680ca},
isbn = {978-1-6654-9336-9},
keywords = {dblp},
pages = {1112-1129},
publisher = {IEEE},
timestamp = {2024-04-10T00:01:45.000+0200},
title = {Less is more: refinement proofs for probabilistic proofs.},
url = {http://dblp.uni-trier.de/db/conf/sp/sp2023.html#JiangCDWW23},
year = 2023
}