Drupal-Biblio17<style face="normal" font="default" size="100%">Qafny: Quantum Program Verification Through Type-guided Classical Separation Logic</style>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%">Verified Compilation of Quantum Oracles</style>