Drupal-Biblio47<style face="normal" font="default" size="100%">Expanding the VOQC Toolkit</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Proving Quantum Programs Correct</style>Drupal-Biblio17<style face="normal" font="default" size="100%">A Verified Optimizer for Quantum Circuits</style>Drupal-Biblio17<style face="normal" font="default" size="100%">ReQWIRE: Reasoning about Reversible Quantum Circuits</style>
Drupal-Biblio17<style face="normal" font="default" size="100%">Verification Logics for Quantum Programs</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Verified Optimization in a Quantum Intermediate Representation</style>