Bohua Zhan

http://lcs.ios.ac.cn/~bzhan/

2019

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

24 Mar

2018

Verifying Imperative Programs using Auto2
by Bohua Zhan

21 Dec

Auto2 Prover
by Bohua Zhan

20 Nov

Smooth Manifolds
by Fabian Immler and Bohua Zhan

22 Oct