Quantum weakest preconditions

Printer-friendly version

Publication Type:

Journal Article

Authors:

Ellie D'Hondt; Prakash Panangaden

Source:

Mathematical Structures in Computer Science, Volume 16, Number 3, p.1–23 (2006)

URL:

http://arxiv.org/abs/quant-ph/0501157

Keywords:

QPL

Notes:

quant-ph/0501157