Login / Signup
Yaojun Hou
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Theorem Prover
Mathematical Knowledge
Computer Algebra Systems
Functional Programming
Top Venues
ACM TUR-C
</>
Publications
</>
Haipeng Qu
,
Yaojun Hou
,
Rongqian Zhou
Course Design and Tool Development for Functional Programming Integrating with Program Verification: from the Perspective of the Interactive Theorem Prover.
ACM TUR-C
(2023)