/persons/resource/persons44149
Bockmayr,
Alexander
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44073
Barth,
Peter
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44739
Kasper,
Thomas
Programming Logics, MPI for Informatics, Max Planck Society;