/persons/resource/persons180341
Navarro Pérez,
Juan Antonio
Group A. Rybalchenko, 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;
/persons/resource/persons180362
Singh,
Atul
Group P. Druschel, Max Planck Institute for Software Systems, Max Planck Society;