Talk

Offers Master

From LRDE

Automata Theory

Dynamic Languages

Image Processing

Model checking

Traitement d'Images

Model checking, Distributed Algorithms and data structures

Automata