Bartoletti, M., & Lipparini, E. (2026). Neuroforger: Certified violation witnesses for smart contracts verification via LLMs.
Style de citation Chicago (17e éd.)Bartoletti, Massimo, et Enrico Lipparini. Neuroforger: Certified Violation Witnesses for Smart Contracts Verification via LLMs. 2026.
Style de citation MLA (9e éd.)Bartoletti, Massimo, et Enrico Lipparini. Neuroforger: Certified Violation Witnesses for Smart Contracts Verification via LLMs. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.