/persons/resource/persons44217
Cantu,
Francisco
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44204
Bundy,
Alan
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44075
Basin,
David A.
Programming Logics, MPI for Informatics, Max Planck Society;