/persons/resource/persons44290
Delzanno,
Giorgio
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45084
Mukhopadhyay,
Supratik
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45201
Podelski,
Andreas
Programming Logics, MPI for Informatics, Max Planck Society;