/persons/resource/persons44487
Georgieva,
Lilia
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44970
Maier,
Patrick
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44099
Beckert,
Bernhard
Programming Logics, MPI for Informatics, Max Planck Society;