Chapitre D'ouvrage
Année : 2015
Joelle Sulian : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01369963
Soumis le : mercredi 21 septembre 2016-17:02:02
Dernière modification le : lundi 20 novembre 2023-11:44:19
Citer
Assalé Adjé, Pierre-Loïc Garoche. Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. Verification, Model Checking, and Abstract Interpretation, 8931, , pp.99-116, 2015, 978-3-662-46081-8. ⟨10.1007/978-3-662-46081-8_6⟩. ⟨hal-01369963⟩
Collections
113
Consultations
0
Téléchargements