TACAS 2022

28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
2, Apr, 2022 to 7, Apr, 2022
Munich, Germany
Homepage: https://etaps.org/2022/tacasOutside Link

TACAS 2022 is one of the four conferences of ETAPS 2022



CISTER's main roles:
,
José Proença
Artifact Evaluation Committee Member