/persons/resource/persons44183
Brink,
Chris
Programming Logics, MPI for Informatics, Max Planck Society;
Gabbay,
Dov M.
Max Planck Society;
/persons/resource/persons45140
Ohlbach,
Hans Jürgen
Programming Logics, MPI for Informatics, Max Planck Society;