TACAS

1. REDIRECT European Joint Conferences on Theory and Practice of Software

{{Redirect category shell|

{{R avoided double redirect|Tools and Algorithms for the Construction and Analysis of Systems}}

{{R from acronym}}

{{R mentioned in hatnote}}

}}