"QChecker: Detecting Bugs in Quantum Programs via Static Analysis."

Pengzhan Zhao et al. (2023)

Details and statistics

DOI: 10.1109/Q-SE59154.2023.00014

access: closed

type: Conference or Workshop Paper

metadata version: 2023-08-08

a service of  Schloss Dagstuhl - Leibniz Center for Informatics