EasyChair Smart SlideHelp/Log in
Author: Bohua Zhan

This page shows all presentations of this author published in EasyChair Smart Slide.

NIL: Learning Nonlinear Interpolants

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

Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle

Bohua Zhan and Maximilian Paul Louis Haslbeck

Presentations in this collection: 2
Copyright © 2002 – 2021 EasyChair