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
Naijun Zhan
Entries
2019
by Junyi Liu, Bohua Zhan 🌐, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying and Naijun Zhan