Etienne Lozes

Maître de conférences à l'ENS Cachan et chercheur en logique des programmes et parallélisme au Laboratoire Spécification et Vérification.

Sort options

At the moment there are no available courses.