Browsing byAuthorTasiran, S
Showing results 1 to 1 of 1
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 |