
Térence Clastres
1
Document
Publications
Publications
|
Deductive Verification of Synchronous Reactive ProgramsJourné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
|
Chargement...
Chargement...