Skip to main content
To Proof Maintenance & Beyond!
Search
Venues
API
About
kirancodes.me
Venues
/
TACAS
1,553 papers, 1995–2026.
Search within TACAS
2026
72
2025
60
2024
70
2023
77
2022
67
2021
56
2020
60
2019
73
2018
54
2017
66
2016
69
2015
62
2014
55
2013
53
2012
48
2011
34
2010
37
2009
36
2008
39
2007
56
2006
35
2005
42
2004
43
2003
43
2002
35
2001
41
2000
36
1999
31
1998
29
1997
28
1996
33
1995
13
