/persons/resource/persons300330
Guilmant,
Quentin
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;
/persons/resource/persons217847
Ouaknine,
Joël
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;