Beyond Separation: Toward a Specification Language for Modular Reasoning about Quantum Programs

Publication
Programming Languages for Quantum Computing (PLanQC 2022) Poster Session