APA (7th ed.) Citation

Bauer, A., Park, S., & Simpson, A. (2024). An Imperative Language for Verified Exact Real-Number Computation.

Chicago Style (17th ed.) Citation

Bauer, Andrej, Sewon Park, and Alex Simpson. An Imperative Language for Verified Exact Real-Number Computation. 2024.

MLA (9th ed.) Citation

Bauer, Andrej, et al. An Imperative Language for Verified Exact Real-Number Computation. 2024.