Browsing byAuthorBarthe, G
Showing results 7 to 7 of 7< previous
Issue Date | Title | Author(s) |
---|---|---|
2020-01-01 | Relational proofs for quantum programs | Barthe, G; Hsu, J; Ying, M; Yu, N; Zhou, L |
Issue Date | Title | Author(s) |
---|---|---|
2020-01-01 | Relational proofs for quantum programs | Barthe, G; Hsu, J; Ying, M; Yu, N; Zhou, L |