[Zurück]
Karthikeyan Bhargavan
INRIA, Prairie Research Institute, MPRI