Communication Dans Un Congrès
Année : 2018
Pal Dream : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01816805
Soumis le : vendredi 15 juin 2018-16:16:45
Dernière modification le : jeudi 15 février 2024-03:31:44
Dates et versions
Identifiants
- HAL Id : hal-01816805 , version 1
Citer
Vlad Rusu. Compositional Verification of Reachability-Logic Properties on Reachability-Logic Specifications. FROM 2018 - Working Formal Methods Symposium 2018, Jun 2018, Iasi, Romania. ⟨hal-01816805⟩
19
Consultations
0
Téléchargements