175 citations · 1.2k across the 63 of their papers we have counts for
1 paper · 2 filters
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…