76 citations · 156 across the 20 of their papers we have counts for
1 paper · 1 filter
Huiling Wu, Yuxin Deng, Ming Xu
Verifying the functional correctness of programs with both classical and quantum constructs is a challenging task. The presence of probabilistic behaviour entailed by quantum measu…