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
Citácia podle Chicago (17th ed.)Zhang, Linpeng, a 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.
Citácia podľa MLA (8th ed.)Zhang, Linpeng, a 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.