1 citations · 1 across the 1 of their papers we have counts for
1 paper
Tiancheng Jin, Jianjun Zhao
Ensuring the correctness of quantum programs is crucial for quantum software quality assurance. Although various effective verification methods exist for classical programs, they c…