Toward Reliable Oracle Verification of Quantum Programs Under Noise and Resource Constraints

Ning Ma

Communication écrite (2026)

Accéder à ce document
Lien externe
Libre accès au texte intégral chez l'éditeur officiel
ISBN:
9798400726361
Adresse URL de PolyPublie:
Nom de la conférence:
34th International Conference on the Foundations of Software Engineering (FSE Companion 2026)
Lieu de la conférence:
Montréal, QC, Canada
Date(s) de la conférence:
2026-07-05 - 2026-07-09
Maison d'édition:
Association for Computing Machinery
OAI:
oai:publications.polymtl.ca:80384
ORCID
Date du dépôt:
01 sept. 2026 16:07
Dernière modification:
14 oct. 2026 14:46
Citer en APA 7:
Ma, N. (juillet 2026). Toward Reliable Oracle Verification of Quantum Programs Under Noise and Resource Constraints [Communication écrite]. 34th International Conference on the Foundations of Software Engineering (FSE Companion 2026), Montréal, QC, Canada. https://doi.org/10.1145/3803437.3804871

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document