Formal Verification vs. Quantum Uncertainty

Publication
Summit on Advances in Programming Languages (SNAPL 2019)