Zhang, L., & Kaminski, B. L. (2022). Quantitative strongest post: A calculus for reasoning about the flow of quantitative information. Proceedings of ACM on programming languages, 6(OOPSLA1), 1-29. https://doi.org/10.1145/3527331
Chicago-Zitierstil (17. Ausg.)Zhang, Linpeng, und Benjamin Lucien Kaminski. "Quantitative Strongest Post: A Calculus for Reasoning About the Flow of Quantitative Information." Proceedings of ACM on Programming Languages 6, no. OOPSLA1 (2022): 1-29. https://doi.org/10.1145/3527331.
MLA-Zitierstil (9. Ausg.)Zhang, Linpeng, und Benjamin Lucien Kaminski. "Quantitative Strongest Post: A Calculus for Reasoning About the Flow of Quantitative Information." Proceedings of ACM on Programming Languages, vol. 6, no. OOPSLA1, 2022, pp. 1-29, https://doi.org/10.1145/3527331.