21-24 nov. 2023 Villeurbanne (France)
Certification locale de propriétés locales
Sébastien Zeitoun  1, @  , Nicolas Bousquet, Laurent Feuilloley, @
1 : Université Claude Bernard Lyon 1
Université de Lyon
Type : : Résumé
Thématiques : Algorithmique distribué
PDF version :  PDF version
Personnes connectées : 2 Vie privée
Chargement...