Wenfan Zhou

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Design Guidelines

Evolutionary Algorithm

Top Venues

Publications

Bohua Zhan, Zhenyan Ji, Wenfan Zhou, Chaozhu Xiang, Jie Hou, Wenhui Sun
Design of Point-and-Click User Interfaces for Proof Assistants. ICFEM (2019)