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]
Abstract is missing.