Quantum Computing: From Weakest Preconditions to Voltage Pulses. - Thomas Noll 001; Christina Gehnen; Roy Hermanns (Principles of Verification (1), 2024)