3 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Masaomi Yamaguchi, Nobukazu Yoshioka
To realize reliable quantum software, techniques to automatically ensure the quantum software's correctness have recently been investigated. However, they primarily focus on fixed…