Hanru Jiang
Teaching
Publications
On Incorrectness Logic for Quantum Programs
Date: 2022-04-29