APA (7th ed.) Citation

Batz, K., Katoen, J., Randone, F., & Winkler, T. (2025). Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back.

Chicago Style (17th ed.) Citation

Batz, Kevin, Joost-Pieter Katoen, Francesca Randone, and Tobias Winkler. Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back. 2025.

MLA (9th ed.) Citation

Batz, Kevin, et al. Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back. 2025.