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

• 2026 - (1)

  • Autres Publications - (1)

    • Automata-Guided Local Proof Obligations for Temporal Safety in Synchronous Programs
      Auteur(s) : Térence CLASTRES, Frédéric DABROWSKI
      

      HAL : 5680112

• 2025 - (1)

  • Poster - (1)

    • Deductive Verification of Synchronous Reactive Programs
      Auteur(s) : Térence CLASTRES, Frédéric DABROWSKI
      

      HAL : 5126380