1 paper
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…