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-Zitierstil (17. Ausg.)Zhang, Linpeng, Noam Zilberstein, Benjamin Lucien Kaminski, und 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-Zitierstil (9. Ausg.)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.