le 25 janvier 2018
ENTROPY 2018 est un colloque international organisé par l’équipe 2XS de CRIStAL sur la vérification formelle de noyaux de systèmes d’exploitation. Il consiste en douze présentations invitées par d’éminents chercheurs internationaux du domaine.
En savoir plus...Ircica, Villeneuve d'Ascq
français
English