KHEIREDDINE Anissa

Doutorando (ATER, Sorbonne Université)
Equipe : MoVe
Data de chegada : 07/10/2019
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 2, Bureau 231
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE

Tel: +33 1 44 27 51 28, Anissa.Kheireddine (at) nulllip6.fr
https://lip6.fr/Anissa.Kheireddine

Direção de pesquisa : Souheib BAARIR

Co-supervisão£o : RENAULT Etienne (EPITA)

Parallélisation et optimisation du Bounded model-checking

Mentions légales
Mapa do site