Proving Quantum Programs Correct

Date: June, 2021

Paper presentation at ITP 2021, Virtual