/persons/resource/persons44977
Malkis,
Alexander
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45201
Podelski,
Andreas
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45328
Rybalchenko,
Andrey
Group A. Rybalchenko, Max Planck Institute for Software Systems, Max Planck Society;