Not registered as user yet

Name:Christof Löding
Country:Germany
Affiliation:RWTH Aachen University

Contributions

PLDI 2023 Model-guided synthesis of inductive lemmas for FOL with least fixpoints
Show activities from other conferences

Using general profile