Treffer: Course Design and Tool Development for Functional Programming Integrating with Program Verification: from the Perspective of the Interactive Theorem Prover
Title:
Course Design and Tool Development for Functional Programming Integrating with Program Verification: from the Perspective of the Interactive Theorem Prover
Authors:
Source:
Proceedings of the ACM Turing Award Celebration Conference - China 2023. :94-95
Availability:
Database:
ACM Full-Text Collection