QChecker: Detecting Bugs in Quantum Programs via Static Analysis

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: QChecker: Detecting Bugs in Quantum Programs via Static Analysis
Συγγραφείς: Zhao, Pengzhan, Wu, Xiongfei, Li, Zhuo, Zhao, Jianjun
Πηγή: 2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE) Q-SE Quantum Software Engineering (Q-SE), 2023 IEEE/ACM 4th International Workshop on. :50-57 May, 2023
Relation: 2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE)
Βάση Δεδομένων: IEEE Xplore Digital Library