/persons/resource/persons44263
Cortier,
Véronique
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44474
Ganzinger,
Harald
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44688
Jacquemard,
Florent
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45662
Veanes,
Margus
Programming Logics, MPI for Informatics, Max Planck Society;