/persons/resource/persons44298
de Nivelle,
Hans
Programming Logics, MPI for Informatics, Max Planck Society;
Piskac,
Ruzica
Max Planck Society;
Aichernig,
Bernhard K.
Max Planck Society;
/persons/resource/persons44099
Beckert,
Bernhard
Programming Logics, MPI for Informatics, Max Planck Society;