Wen-Jun Shi

最新发表

Wen-Jun Shi, Qin-Xiang Cao, Yu-Xin Deng, Han-Ru Jiang, Yuan Feng (2021). Symbolic Reasoning About Quantum Circuits in Coq. Journal of Computer Science and Technology.

引用 DOI URL