Bouajjani, Ahmed2022-11-022022-11-022022978-3-031-19991-2978-3-031-19992-9978-3-031-19993-6https://publica.fraunhofer.de/handle/publica/42813610.1007/978-3-031-19992-9enAutomated Technology for Verification and Analysis. 20th International Symposium, ATVA 2022. Proceedings