Dobe, O., Schupp, S. A., Bartocci, E., Bonakdarpour, B., Legay, A., Pajic, M., & Wang, Y. (2023). Lightweight Verification of Hyperproperties. In É. André & J. Sun (Eds.), Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II (pp. 3–25). Springer. https://doi.org/10.1007/978-3-031-45332-8_1