Dominique Unruh

Latest

• Quantum and classical registers
• Quantum and Classical Registers
• Quantum Relational Hoare Logic with Expectations
• Quantum Hoare Logic with Ghost Variables
• Quantum Relational Hoare Logic