Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings - Bouajjani, Ahmed. (Springer International Publishing AG, 2022)