/persons/resource/persons44687
Jacobs,
Swen
Automation of Logic, MPI for Informatics, Max Planck Society;
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45516
Sofronie-Stokkermans,
Viorica
Automation of Logic, MPI for Informatics, Max Planck Society;
Programming Logics, MPI for Informatics, Max Planck Society;