Bohua Zhan

 

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

 

Entries

2019

March 24: Quantum Hoare Logic

 

2018

December 21: Verifying Imperative Programs using Auto2

November 20: Auto2 Prover

October 22: Smooth Manifolds