Inventaire
Site en français

Prof. Giorgio Delzanno :

University of Genova

(DISI)

(Italy)



Collaborate with the following search unit :


  ⊿ Verification and formal methods