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