Refinement Calculus

Refinement calculus of quantum programs with projective assertions

This paper presents a refinement calculus designed specifically for quantum programs, offering a structured approach to their …

Yuan Feng, Li Zhou, Yingte Xu, Xiaoquan Xu