Published: Jul 1, 2022 by
Our paper Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs has been selected as Distinguished Paper at LICS 2022, the 37th Annual ACM/IEEE Symposium on Logic in Computer Science.
Published: Jul 1, 2022 by
Our paper Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs has been selected as Distinguished Paper at LICS 2022, the 37th Annual ACM/IEEE Symposium on Logic in Computer Science.