109 citations · 640 across the 28 of their papers we have counts for
1 paper · 1 filter
Mingsheng Ying, Nengkun Yu, Yuan Feng +1
This paper develops verification methodology for quantum programs, and the contribution of the paper is two-fold: 1. Sharir, Pnueli and Hart [SIAM J. Comput. 13(1984)292-314] prese…