/persons/resource/persons45106
Narendran,
Paliath
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45662
Veanes,
Margus
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45678
Voronkov,
Andrei
Programming Logics, MPI for Informatics, Max Planck Society;