Marian Lingsch-Rosenfeld - ASE 2025

Sun 16 - Thu 20 November 2025 Seoul, South Korea

Registered user since Wed 30 Aug 2023

Name:Marian Lingsch-Rosenfeld

Affiliation:LMU Munich

Personal website: https://www.sosy-lab.org/people/lingsch-rosenfeld/

Contributions

2025

ASE

Non-termination Witnesses and their Validation

Show activities from other conferences

Using general profile