Inventaire
Site en français

Prof. Marcin Jurdzinski

University of Warwick

Computer Science Department

(United Kingdom (the))



Collaborate with the following search unit :


  ⊿ Verification and formal methods