Person

Dr.

Jérôme Leroux

Formal Methods team of the computer science laboratory of Bordeaux (LaBRI)

Adresse