On Incorrectness Logic for Quantum Programs

Date: 2022-04-29