/persons/resource/persons180279
Backes,
Michael
Group M. Backes, Max Planck Institute for Software Systems, Max Planck Society;
/persons/resource/persons180323
Köpf,
Boris
Group M. Backes, Max Planck Institute for Software Systems, Max Planck Society;
/persons/resource/persons45328
Rybalchenko,
Andrey
Group A. Rybalchenko, Max Planck Institute for Software Systems, Max Planck Society;
Programming Logics, MPI for Informatics, Max Planck Society;