/persons/resource/persons44749
Kazakov,
Yevgeny
Programming Logics, MPI for Informatics, 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;