Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis | Digital Library | PAMCET | PAMCET