This page shows all presentations of this author published in EasyChair Smart Slide.
NIL: Learning Nonlinear Interpolants
Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur and Naijun Zhan
Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle
Bohua Zhan and Maximilian Paul Louis Haslbeck