Formal Verification vs. Quantum Uncertainty

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

Abstract is missing.