Communication Dans Un Congrès
Année : 2016
Frédéric VOISIN : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01632902
Soumis le : vendredi 10 novembre 2017-17:04:16
Dernière modification le : vendredi 9 février 2024-03:25:22
Dates et versions
Identifiants
- HAL Id : hal-01632902 , version 1
Citer
Romain Aïssat, Frédéric Voisin, Burkhart Wolff. Infeasible Paths Elimination by Symbolic Execution Techniques
. Interactive Theorem Proving. ITP 2016, 2016, NANCY, France. ⟨hal-01632902⟩
Collections
90
Consultations
0
Téléchargements