# Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs

> Research article (Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022) · cited 14× · AI/ML

**Wikidata**: [openalex:W4289855867](https://www.wikidata.org/wiki/openalex:W4289855867)  
**Source**: https://4ort.xyz/entity/quantum-weakest-preconditions-for-reasoning-about-expected-runtimes-of-quantum-programs