h1

h2

h3

h4

h5
h6
%0 Book Section
%A Noll, Thomas
%A Gehnen, Christina
%A Hermanns, Roy
%T Quantum Computing: From Weakest Preconditions to Voltage Pulses
%V 15260
%C Cham
%I Springer
%M RWTH-2024-10967
%B Lecture notes in computer science
%P 201-229
%D 2025
%Z First Online: 13 November 2024
%< Principles of verification: cycling the probabilistic landscape, Part 1 / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors
%F PUB:(DE-HGF)7
%9 Contribution to a book
%R 10.1007/978-3-031-75783-9_9
%U https://publications.rwth-aachen.de/record/996987