Zhang, L., Zilberstein, N., Kaminski, B. L., & Silva, A. (2024). Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers.
Style de citation Chicago (17e éd.)Zhang, Linpeng, Noam Zilberstein, Benjamin Lucien Kaminski, et Alexandra Silva. Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers. 2024.
Style de citation MLA (9e éd.)Zhang, Linpeng, et al. Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.