APA (7th ed.) Citation

Barthe, G., Espitau, T., Grégoire, B., Hsu, J., & Strub, P. (2018). Proving expected sensitivity of probabilistic programs. Proceedings of ACM on programming languages, 2(POPL), 1-29. https://doi.org/10.1145/3158145

Chicago Style (17th ed.) Citation

Barthe, Gilles, Thomas Espitau, Benjamin Grégoire, Justin Hsu, and Pierre-Yves Strub. "Proving Expected Sensitivity of Probabilistic Programs." Proceedings of ACM on Programming Languages 2, no. POPL (2018): 1-29. https://doi.org/10.1145/3158145.

MLA (9th ed.) Citation

Barthe, Gilles, et al. "Proving Expected Sensitivity of Probabilistic Programs." Proceedings of ACM on Programming Languages, vol. 2, no. POPL, 2018, pp. 1-29, https://doi.org/10.1145/3158145.