Laurent Simon est professeur dans le groupe de méthodes formelles du laboratoire d'informatique de Bordeaux (Labri) de l'Université de Bordeaux depuis septembre 2013.

Related articles

2 in total