/persons/resource/persons44232
Charatonik,
Witold
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45084
Mukhopadhyay,
Supratik
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45585
Talbot,
Jean-Marc
Programming Logics, MPI for Informatics, Max Planck Society;