Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs.

Yuxin Deng, Huiling Wu, Ming Xu

Browse the full VMCAI paper archive.