Quantum Hoare Logic
by Junyi Liu, Bohua Zhan 🌐, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying and Naijun Zhan
by Junyi Liu, Bohua Zhan 🌐, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying and Naijun Zhan
Yangjia Li
Entries
2019
by Junyi Liu, Bohua Zhan 🌐, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying and Naijun Zhan