Formal Verification vs. Quantum Uncertainty

Published in 3rd Summit on Advances in Programming Languages (SNAPL 2019), 2019

Recommended citation: Robert Rand, Kesha Hietala, Michael Hicks. "Formal Verification vs. Quantum Uncertainty." 3rd Summit on Advances in Programming Languages (SNAPL). 2019.

Direct Link