Formal Verification vs. Quantum Uncertainty

Robert Rand, Kesha Hietala, Michael Hicks
January 2019
PDF Cite Slides
Type
Conference paper
Publication
Summit on Advances in Programming Languages (SNAPL 2019)