/persons/resource/persons180305
Gupta,
A.
Group A. Rybalchenko, Max Planck Institute for Software Systems, Max Planck Society;
/persons/resource/persons45328
Rybalchenko,
A.
Group A. Rybalchenko, Max Planck Institute for Software Systems, Max Planck Society;
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons144538
Vafeiadis,
V.
Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society;
Group P. Francis, Max Planck Institute for Software Systems, Max Planck Society;