Ying Mingsheng; Chen J; Feng Yuan; Duan Runyao
(Elsevier Science Bv, 2007)
The notion of quantum weakest precondition was introduced by D'Hondt and P. Panangaden [E. D'Hondt, P. Panangaden, Quantum weakest preconditions, Mathematical Structures in Computer Science 16 (2006) 429-451], and they ...