Tools and algorithms for the construction and analysis of systems : 28th international conference, TACAS 2022. Part 2

Fisman, Dana2022-09-212022-09-212022978-3-030-99526-3978-3-030-99527-0https://publica.fraunhofer.de/handle/publica/425984enTools and algorithms for the construction and analysis of systems : 28th international conference, TACAS 2022. Part 2