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

• 2026 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Formal Verification of Stability in Provisioning Changes with BPlan
      Auteur(s) : Eloi PERDEREAU, Jolan PHILIPPE, Daniel SOKOLOWSKI, Hélène COULLON, Guido SALVANESCHI
      

      HAL : 5855612