On the Verification of Quantum Circuits (Research Challenges and Opportunities)
Crossref DOI link: https://doi.org/10.1007/978-3-031-97439-7_16
Published Online: 2025-08-30
Published Print: 2026
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Abdulla, Parosh Aziz
Chen, Yo-Ga
Chen, Yu-Fang
Chung, Kai-Min
Holík, Lukáš
Lengál, Ondřej
Lin, Jyun-Ao
Lo, Fang-Yi
Tsai, Wei-Lun
Text and Data Mining valid from 2025-08-30
Version of Record valid from 2025-08-30
Chapter History
First Online: 30 August 2025