Gehang Zhao

According to our database, Gehang Zhao authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Compositional Verification of Interacting Systems Using Event Monads.

Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, Bican Xia

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022