4 citations · 11 across the 9 of their papers we have counts for
1 paper · 2 filters
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…