The Termination and Complexity Competition

Giesl, Jürgen (Corresponding author); Rubio, Albert (Corresponding author); Sternagel, Christian (Corresponding author); Waldmann, Johannes (Corresponding author); Yamada, Akihisa (Corresponding author)

Cham / Springer Open (2019) [Contribution to a book, Contribution to a conference proceedings]

Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings. - Part 3: 25 years of TACAS: TOOLympics : held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen (Eds.)
Page(s): 156-166

Identifier

Downloads