/persons/resource/persons44474
Ganzinger,
Harald
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45125
Nieuwenhuis,
Robert
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45130
Nivela,
Pilar
Programming Logics, MPI for Informatics, Max Planck Society;