guest ::
TY - CHAP AU - Noll, Thomas AU - Gehnen, Christina AU - Hermanns, Roy TI - Quantum Computing: From Weakest Preconditions to Voltage Pulses VL - 15260 CY - Cham PB - Springer M1 - RWTH-2024-10967 T2 - Lecture notes in computer science SP - 201-229 PY - 2025 N1 - First Online: 13 November 2024 LB - PUB:(DE-HGF)7 DO - DOI:10.1007/978-3-031-75783-9_9 UR - https://publications.rwth-aachen.de/record/996987 ER -