Kamba, M., & Sannai, A. (2026). SPECA: Specification-to-Checklist Agentic Auditing for Multi-Implementation Systems -- A Case Study on Ethereum Clients.
Style de citation Chicago (17e éd.)Kamba, Masato, et Akiyoshi Sannai. SPECA: Specification-to-Checklist Agentic Auditing for Multi-Implementation Systems -- A Case Study on Ethereum Clients. 2026.
Style de citation MLA (9e éd.)Kamba, Masato, et Akiyoshi Sannai. SPECA: Specification-to-Checklist Agentic Auditing for Multi-Implementation Systems -- A Case Study on Ethereum Clients. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.