Inventaire
Site en anglais

Prof. Marcin Jurdzinski

University of Warwick

Computer Science Department

(Royaume-Uni)



Collabore avec l'unité de recherche suivante :


  ⊿Méthodes formelles et vérification