학술논문
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
Document Type
Article
Author
Source
In: ACM Transactions on Programming Languages and Systems . (ACM Transactions on Programming Languages and Systems, 20 July 2023, 45(3))
Subject
Language
English
ISSN
15584593
01640925
01640925