Développement prouvé de structures de données sans verrou

Loïc Fejoz

Details

Publication typePhdThesis
InstitutionUniversité Henri Poincaré - Nancy-Université
> Publications > Développement prouvé de structures de données sans verrou