External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Course Design and Tool Development for Functional Programming Integrating with Program Verification: from the Perspective of the Interactive Theorem Prover

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. In Proceedings of the ACM Turing Award Celebration Conference - China 2023, ACM TURC 2023, Wuhan, China, July 28-30, 2023. pages 94-95, ACM, 2023. [doi]

Authors

Haipeng Qu

This author has not been identified. Look up 'Haipeng Qu' in Google

Yaojun Hou

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

Rongqian Zhou

This author has not been identified. Look up 'Rongqian Zhou' in Google
runs on