Quantum weakest preconditions (2006)

by E D’Hondt, P Panangaden
Venue:Mathematical Structures in Computer Science