Chapitre D'ouvrage
Année : 2015
Joelle Sulian : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01369974
Soumis le : mercredi 21 septembre 2016-17:11:14
Dernière modification le : lundi 20 novembre 2023-11:44:19
Dates et versions
Identifiants
- HAL Id : hal-01369974 , version 1
- ARXIV : 1503.07025
- DOI : 10.1007/978-3-662-48288-9_14
Citer
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization. Blazy Sandrine; Jensen Thomas. Static Analysis, Springer Berlin Heidelberg, pp.235-251, 2015, 978-3-662-48287-2. ⟨10.1007/978-3-662-48288-9_14⟩. ⟨hal-01369974⟩
Collections
60
Consultations
0
Téléchargements