/persons/resource/persons44204
Bundy,
Alan
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45692
Walsh,
Toby
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44075
Basin,
David A.
Programming Logics, MPI for Informatics, Max Planck Society;