Author:Hengjun Zhao

Publications
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang and Naijun Zhan In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems