APA (7th ed.) Citation

Schröer, P., Randone, F., Pardo, R., & Wąsowski, A. (2024). Symbolic Quantitative Information Flow for Probabilistic Programs.

Chicago Style (17th ed.) Citation

Schröer, Philipp, Francesca Randone, Raúl Pardo, and Andrzej Wąsowski. Symbolic Quantitative Information Flow for Probabilistic Programs. 2024.

MLA (9th ed.) Citation

Schröer, Philipp, et al. Symbolic Quantitative Information Flow for Probabilistic Programs. 2024.