CAFÉIN public website

CAFEIN project is funded by ANR INS 2012 with support from Aerospace Valley and System@tic competitivity clusters.

It is related to the US NSF project CrAVES - Credible Autocoding and Verification of Embedded Software.

Accueil du site > Les auteurs > Pierre-Loic Garoche

Pierre-Loic Garoche


Warning: Illegal string offset 'email' in /var/www/CAFEIN/squelettes-dist/formulaires/ecrire_auteur.php on line 21

Envoyer un message

SPIP | squelette | | Plan du site | Suivre la vie du site RSS 2.0