Generalised quantum weakest preconditions

Roman Gielerak, Marek Sawerwain. Generalised quantum weakest preconditions. Quantum Information Processing, 9(4):441-449, 2010. [doi]

Abstract

Abstract is missing.