APA (7th ed.) Citation

Koutavas, V., Lin, Y., & Tzevelekos, N. (2025). Open-World Assertion Checking for Smart Contracts via Game Semantics.

Chicago Style (17th ed.) Citation

Koutavas, Vasileios, Yu-Yang Lin, and Nikos Tzevelekos. Open-World Assertion Checking for Smart Contracts via Game Semantics. 2025.

MLA (9th ed.) Citation

Koutavas, Vasileios, et al. Open-World Assertion Checking for Smart Contracts via Game Semantics. 2025.