Kamba, M., & Sannai, A. (2026). SPECA: Specification-to-Checklist Agentic Auditing for Multi-Implementation Systems -- A Case Study on Ethereum Clients.
Chicago Style (17th ed.) CitationKamba, Masato, and Akiyoshi Sannai. SPECA: Specification-to-Checklist Agentic Auditing for Multi-Implementation Systems -- A Case Study on Ethereum Clients. 2026.
MLA (9th ed.) CitationKamba, Masato, and Akiyoshi Sannai. SPECA: Specification-to-Checklist Agentic Auditing for Multi-Implementation Systems -- A Case Study on Ethereum Clients. 2026.
Warning: These citations may not always be 100% accurate.