Combined display of all available logs of ConfIDent. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 10:11, 22 November 2023 Curator 75 talk contribs created page TACAS 2024 (Created page with "{{Event |Acronym=TACAS 2024 |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems |Ordinal=30 |In Event Series=Event Series:TACA...")