APA (7th ed.) Citation

Bartoletti, M., Crafa, S., & Lipparini, E. (2025). Formal verification in Solidity and Move: Insights from a comparative analysis.

Chicago Style (17th ed.) Citation

Bartoletti, Massimo, Silvia Crafa, and Enrico Lipparini. Formal Verification in Solidity and Move: Insights from a Comparative Analysis. 2025.

MLA (9th ed.) Citation

Bartoletti, Massimo, et al. Formal Verification in Solidity and Move: Insights from a Comparative Analysis. 2025.