/persons/resource/persons44660
Hustadt,
Ullrich
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45132
Nonnengart,
Andreas
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45401
Schmidt,
Renate A.
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45620
Timm,
Jan-Georg
Programming Logics, MPI for Informatics, Max Planck Society;