Inventaire
Site en français

Hubert Garavel :

INRIA Rhône-Alpes

(VASY team)

(France)



Collaborate with the following search unit :


  ⊿ Verification and formal methods