Matthew Amy

Latest

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