TY - RPRT TI - Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs AU - Yipeng Huang AU - Margaret Martonosi PY - 2019 DO - 10.1145/3307650.3322213 UR - https://arxiv.org/abs/1905.09721 ID - 1905.09721 ER -