Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Jean-Christophe Filliâtre

Author information

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

2010 – today

2000 – 2009

1990 – 1999