Browsing byAuthorZhan, N
Showing results 1 to 3 of 3
Issue Date | Title | Author(s) |
2019-01-01 | Formal verification of quantum algorithms using quantum hoare logic | Liu, J; Zhan, B; Wang, S; Ying, S; Liu, T; Li, Y; Ying, M; Zhan, N; Dillig, I; Tasiran, S |
2021 | Model Checking for Verification of Quantum Circuits. | Ying, M; Huisman, M; Pasareanu, CS; Zhan, N |
- | A Theorem Prover for Quantum Hoare Logic and Its Applications | Liu, T; Li, Y; Wang, S; Ying, M; Zhan, N |