Térence CLASTRES
Publications HAL de Térence CLASTRES sous affiliation au LIFO - 1 publication
Pour une liste indépendante de l'affiliation, consulter DBLP.
-
2025 - (1)
-
Poster - (1)
-
Deductive Verification of Synchronous Reactive Programs
Auteur(s) : Térence CLASTRES, Frédéric DABROWSKI
HAL : 5126380
-
-