APA (7th ed.) Citation

Hozzová, P., Bendík, J., Nutz, A., & Rodeh, Y. (2024). Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification.

Chicago Style (17th ed.) Citation

Hozzová, Petra, Jaroslav Bendík, Alexander Nutz, and Yoav Rodeh. Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification. 2024.

MLA (9th ed.) Citation

Hozzová, Petra, et al. Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification. 2024.