Wenfan Zhou

According to our database, Wenfan Zhou authored at least 1 paper in 2019.

Collaborative distances:

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

2019

Design of Point-and-Click User Interfaces for Proof Assistants.

Bohua Zhan, Zhenyan Ji, Wenfan Zhou, Chaozhu Xiang, Jie Hou, Wenhui Sun

Proceedings of the Formal Methods and Software Engineering, 2019