![](/img/cover-not-exists.png)
Proof rules for the correctness of quantum programs
Yuan Feng, Runyao Duan, Zhengfeng Ji, Mingsheng YingVolume:
386
Year:
2007
Language:
english
Pages:
16
DOI:
10.1016/j.tcs.2007.06.011
File:
PDF, 350 KB
english, 2007