Quantum Computing: From Weakest Preconditions to Voltage Pulses

Lecture notes in computer science, pp. 201–229

Authors 3

1. Thomas Noll corresponding Aachen Software Modeling and Verification Group

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

   Software Modeling and Verification Group, RWTH Aachen University, Aachen, Germany

2. Christina Gehnen corresponding Aachen Chair for Quantum Information Systems Software Modeling and Verification Group

   RWTH Aachen University

   Affiliation as printed

   Chair for Quantum Information Systems, RWTH Aachen University, Aachen, Germany

   Software Modeling and Verification Group, RWTH Aachen University, Aachen, Germany

3. Roy Hermanns corresponding Aachen Software Modeling and Verification Group

   RWTH Aachen University

   Affiliation as printed

   Software Modeling and Verification Group, RWTH Aachen University, Aachen, Germany