Approximate Relational Reasoning for Quantum Programs.

Peng Yan, Hanru Jiang, Nengkun Yu

Browse the full CAV paper archive.