[Zurück]
Adrien Koutsos
ENS de Cachan, Laboratoire Spécification et Vérification (LSV)