Térence Clastres

1
Document

Publications

Publications

Deposit thumbnail

Deductive Verification of Synchronous Reactive Programs

Térence Clastres , Frederic Dabrowski

Journées Approches Formelles pour l'Assistance au Développement de Logiciels (AFADL), Jun 2025, Pau (Université de Pau), France

Poster de conférence hal-05126380v1