APA (7th ed.) Citation

Zhang, L., Zilberstein, N., Kaminski, B. L., & Silva, A. (2024). Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers. Proceedings of ACM on programming languages, 8(OOPSLA2), 817-845. https://doi.org/10.1145/3689740

Chicago Style (17th ed.) Citation

Zhang, Linpeng, Noam Zilberstein, Benjamin Lucien Kaminski, and Alexandra Silva. "Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers." Proceedings of ACM on Programming Languages 8, no. OOPSLA2 (2024): 817-845. https://doi.org/10.1145/3689740.

MLA (9th ed.) Citation

Zhang, Linpeng, et al. "Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers." Proceedings of ACM on Programming Languages, vol. 8, no. OOPSLA2, 2024, pp. 817-845, https://doi.org/10.1145/3689740.