An Effective Quantum Hoare Logic for Hybrid Quantum Programs with Unbounded Loops | Digital Library | PAMCET | PAMCET