共 50 条
- [32] Automating type soundness proofs via decision procedures and guided reductions LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2002, 2514 : 418 - 434
- [35] Soundness of Stablecoins FINANCIAL CRYPTOGRAPHY AND DATA SECURITY. FC 2022 INTERNATIONAL WORKSHOPS, 2023, 13412 : 66 - 73