Bohua Zhan

is this you? claim profile

∙

0 followers

∙

∙

Postdoctoral Fellow at Chair for Logic and Verification, Technical University of Munich, Isaac Newton Institute for Mathematical Sciences

∙ 05/28/2019

Nonlinear interpolants have been shown useful for the verification of pr...

Mingshuai Chen, et al. ∙

∙ 05/15/2019

The design of modern proof assistants is faced with several sometimes co...

Bohua Zhan, et al. ∙

∙ 02/05/2018

We present a framework in Isabelle for verifying asymptotic time complex...

Bohua Zhan, et al. ∙

Featured Co-authors