Inventaire
Site en français

Thierry Jéron :

IRISA-INRIA

(VERTECS project)

(France)



Collaborate with the following search unit :


  ⊿ Verification and formal methods