Design of Point-and-Click User Interfaces for Proof Assistants (English)
- New search for: Zhan, Bohua
- New search for: Ji, Zhenyan
- New search for: Zhou, Wenfan
- New search for: Xiang, Chaozhu
- New search for: Hou, Jie
- New search for: Sun, Wenhui
- New search for: Zhan, Bohua
- New search for: Ji, Zhenyan
- New search for: Zhou, Wenfan
- New search for: Xiang, Chaozhu
- New search for: Hou, Jie
- New search for: Sun, Wenhui
In:
Formal Methods and Software Engineering
2
;
86-103
;
2019
- Article/Chapter (Book) / Electronic Resource
-
Title:Design of Point-and-Click User Interfaces for Proof Assistants
-
Contributors:Zhan, Bohua ( author ) / Ji, Zhenyan ( author ) / Zhou, Wenfan ( author ) / Xiang, Chaozhu ( author ) / Hou, Jie ( author ) / Sun, Wenhui ( author )
-
Published in:Formal Methods and Software Engineering , 2 ; 86-103Programming and Software Engineering ; 11852, 2 ; 86-103
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2019-01-01
-
Size:18 pages
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source: