Shuling Wang

最新发表

Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan (2019). Formal Verification of Quantum Algorithms Using Quantum Hoare Logic. Computer Aided Verification.

引用