/persons/resource/persons44621
Hillenbrand,
Thomas
International Max Planck Research School, MPI for Informatics, Max Planck Society;
Automation of Logic, MPI for Informatics, Max Planck Society;
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45201
Podelski,
Andreas
Programming Logics, MPI for Informatics, Max Planck Society;
Topić,
Dalibor
Max Planck Society;
/persons/resource/persons44232
Charatonik,
Witold
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44474
Ganzinger,
Harald
Programming Logics, MPI for Informatics, Max Planck Society;