Térence Clastres

1
Document

Publications

Publications

Image document

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-05126380 v1