APA (7th ed.) Citation

McIver, A., Morgan, C., & Rabehaja, T. (2019). Program algebra for quantitative information flow. Journal of logical and algebraic methods in programming, 106, 55-77. https://doi.org/10.1016/j.jlamp.2019.04.002

Chicago Style (17th ed.) Citation

McIver, A.K, C.C Morgan, and T. Rabehaja. "Program Algebra for Quantitative Information Flow." Journal of Logical and Algebraic Methods in Programming 106 (2019): 55-77. https://doi.org/10.1016/j.jlamp.2019.04.002.

MLA (9th ed.) Citation

McIver, A.K, et al. "Program Algebra for Quantitative Information Flow." Journal of Logical and Algebraic Methods in Programming, vol. 106, 2019, pp. 55-77, https://doi.org/10.1016/j.jlamp.2019.04.002.