/persons/resource/persons44298
de Nivelle,
Hans
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44088
Baumgartner,
Peter
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44452
Fuchs,
Alexander
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44088
Baumgartner,
Peter
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44298
de Nivelle,
Hans
Programming Logics, MPI for Informatics, Max Planck Society;