DS-2019-02: Jort Bergfeld Quantum logics for expressing and proving the correctness of quantum programs 1.Full Text, 2.Abstract, 3.Samenvatting. < Back
