Drupal-Biblio17<style face="normal" font="default" size="100%">Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification</style>