https://etaps.org/2026/conferences/tacas/
TACAS 2026
32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems
tacas
https://decortacas.com/
Home page - decor tacas
home pagedecortacas
https://moves.rwth-aachen.de/news/four-papers-at-tacas-2019/
Four papers at TACAS 2019 | Informatik 2
four paperstacasinformatik
https://tacasdental.com/
Tacas Dental - Material Dentário para Clínicas e Laboratórios
Distribuidor de materiais e equipamentos dentários para clínicas e laboratórios de prótese em Portugal. Marcas reconhecidas, entrega rápida.
dental materialtacaspara
https://moves.rwth-aachen.de/news/four-papers-at-tacas-2020/
Four Papers at TACAS 2020 | Informatik 2
four paperstacasinformatik