Non-termination Witnesses and Their Validation.

Wed, 01 Jan 2025 00:00:00 +0100

Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek:
Non-termination Witnesses and Their Validation. ASE 2025: 1969-1981