Communication Dans Un Congrès
Année : 2015
Joelle Sulian : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01371508
Soumis le : lundi 26 septembre 2016-10:28:04
Dernière modification le : mercredi 18 décembre 2024-10:14:38
Dates et versions
Identifiants
- HAL Id : hal-01371508 , version 1
Citer
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. Property-based Polynomial Invariant Generation Using Sums-Of-Squares . Static Analysis Symposium 2015 (2015), Sep 2015, Saint-Malo, France. pp.235-251. ⟨hal-01371508⟩
78
Consultations
0
Téléchargements