APA (7th ed.) Citation

Ferrando, A., Zanlefack, B. K., & Malvone, V. (2026). Wallet ATL: Towards Reliable Smart Contract Verification. Proc. of the 25th International Conference on Autonomous Agents and Multiagent Systems, 385. https://doi.org/10.65109/UKIO4803

Chicago Style (17th ed.) Citation

Ferrando, Angelo, Blondelle Kana Zanlefack, and Vadim Malvone. "Wallet ATL: Towards Reliable Smart Contract Verification." Proc. of the 25th International Conference on Autonomous Agents and Multiagent Systems 2026: 385. https://doi.org/10.65109/UKIO4803.

MLA (9th ed.) Citation

Ferrando, Angelo, et al. "Wallet ATL: Towards Reliable Smart Contract Verification." Proc. of the 25th International Conference on Autonomous Agents and Multiagent Systems, 2026, p. 385, https://doi.org/10.65109/UKIO4803.