Quantum weakest preconditions (0)

by E D’Hondt, P Panangaden
Venue:Math. Struct. in Comp. Sci