Jean-Christophe Filliâtre

Author information

  • affiliation: University of Paris-Sud, Laboratory for Computer Science

2010 – today

2000 – 2009

1990 – 1999