EasyChair Smart Slide
Quantum Weakest Preconditions for Reasoning About Expected Runtimes of Quantum Programs
Quantum Weakest Preconditions for Reasoning About Expected Runtimes of Quantum Programs