qKleene: Verification of Quantum RAM Made Easy

Giulia De Santis, Roberto Giacobazzi, Margherita Zorzi

Appearing at PLanQC: Programming Languages for Quantum Computing