
Bohua Zhan
is this you? claim profile
Postdoctoral Fellow at Chair for Logic and Verification, Technical University of Munich, Isaac Newton Institute for Mathematical Sciences
Postdoctoral Fellow at Chair for Logic and Verification, Technical University of Munich, Isaac Newton Institute for Mathematical Sciences