Quantum weakest preconditions
Publication Type:
Journal ArticleSource:
Mathematical Structures in Computer Science, Volume 16, Number 3, p.1–23 (2006)URL:
http://arxiv.org/abs/quant-ph/0501157 [3]Keywords:
QPL [4]Notes:
quant-ph/0501157
quant-ph/0501157
Links
[1] http://soft.vub.ac.be/soft/members/eldhondt
[2] http://soft.vub.ac.be/soft/biblio?f%5Bauthor%5D=232
[3] http://arxiv.org/abs/quant-ph/0501157
[4] http://soft.vub.ac.be/soft/biblio?f%5Bkeyword%5D=181