Pour une liste indépendante de l'affiliation, consulter DBLP.

• 2025 - (1)

  • Communications sans actes - (1)

    • Langage de spécification de contexte pour vérifier formellement des propriétés de consentement sur des modèles et du code -Résumé long
      Auteur(s) : Myriam CLOUET, Thibaud ANTIGNAC, Mathilde ARNAUD, Julien SIGNOLES
      

      HAL : 5133511