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

Bohua Zhan, Zhenyan Ji, Wenfan Zhou, Chaozhu Xiang, Jie Hou, Wenhui Sun. Design of Point-and-Click User Interfaces for Proof Assistants. In Yamine Aït Ameur, Shengchao Qin, editors, Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings. Volume 11852 of Lecture Notes in Computer Science, pages 86-103, Springer, 2019. [doi]

Authors

Bohua Zhan

This author has not been identified. Look up 'Bohua Zhan' in Google

Zhenyan Ji

This author has not been identified. Look up 'Zhenyan Ji' in Google

Wenfan Zhou

This author has not been identified. Look up 'Wenfan Zhou' in Google

Chaozhu Xiang

This author has not been identified. Look up 'Chaozhu Xiang' in Google

Jie Hou

This author has not been identified. Look up 'Jie Hou' in Google

Wenhui Sun

This author has not been identified. Look up 'Wenhui Sun' in Google