Browsing byAuthorZhan, N
Showing results 3 to 3 of 3< previous
| Issue Date | Title | Author(s) |
|---|---|---|
| - | A Theorem Prover for Quantum Hoare Logic and Its Applications | Liu, T; Li, Y; Wang, S; Ying, M; Zhan, N |
| Issue Date | Title | Author(s) |
|---|---|---|
| - | A Theorem Prover for Quantum Hoare Logic and Its Applications | Liu, T; Li, Y; Wang, S; Ying, M; Zhan, N |