## Homepages 🌐

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

## Entries

### 2019

##### Quantum Hoare Logic

by Junyi Liu, Bohua Zhan 🌐, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying and Naijun Zhan
Mar 24

### 2018

##### Verifying Imperative Programs using Auto2

by Bohua Zhan 🌐
Dec 21

##### Auto2 Prover

by Bohua Zhan 🌐
Nov 20

##### Smooth Manifolds

by Fabian Immler 🌐 and Bohua Zhan 🌐
Oct 22