/persons/resource/persons146460
Chen,
Yan
Group U. Acar, Max Planck Institute for Software Systems, Max Planck Society;
/persons/resource/persons180293
Dunfield,
Joshua
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;
Group U. Acar, Max Planck Institute for Software Systems, Max Planck Society;
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
/persons/resource/persons144536
Acar,
Umut A.
Group U. Acar, Max Planck Institute for Software Systems, Max Planck Society;