Robert Rand 0001, Kesha Hietala, Michael Hicks 0001. Formal Verification vs. Quantum Uncertainty. In Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi, editors, 3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA. Volume 136 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]
@inproceedings{0001H019,
title = {Formal Verification vs. Quantum Uncertainty},
author = {Robert Rand 0001 and Kesha Hietala and Michael Hicks 0001},
year = {2019},
doi = {10.4230/LIPIcs.SNAPL.2019.12},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.12},
researchr = {https://researchr.org/publication/0001H019},
cites = {0},
citedby = {0},
booktitle = {3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA},
editor = {Benjamin S. Lerner and Rastislav Bodík and Shriram Krishnamurthi},
volume = {136},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-113-9},
}