/persons/resource/persons45140
Ohlbach,
Hans Jürgen
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44466
Gabbay,
Murdoch James
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45200
Plaisted,
David
Programming Logics, MPI for Informatics, Max Planck Society;