/persons/resource/persons44660
Hustadt,
Ullrich
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45401
Schmidt,
Renate A.
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45565
Struth,
Georg
Programming Logics, MPI for Informatics, Max Planck Society;