Invited Talk: Theory, Design, and Implementation of Projection-based Assertions for Quantum Debugging and Testing

Yufei Ding

Appearing at PLanQC: Programming Languages for Quantum Computing