Mechanized Reasoning about "How" Using Functional Programs and Embeddings.
- 주제(키워드) Coq , Embedding , Formal verification , Functional programming , Mechanized reasoning , Programming language
- 발행기관 University of Pennsylvania
- 발행년도 2022
- 학위명 박사
- 학과 및 전공 Computer and Information Science
- ISBN 9798351440088
- UCI I804:11009-000000274216
- DOI 10.23186/korea.000000274216.11009.0001356
- 제출원본 PQDT29320058
