Communication Dans Un Congrès
Année : 2015
Joelle Sulian : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01371514
Soumis le : lundi 26 septembre 2016-10:32:41
Dernière modification le : mercredi 18 décembre 2024-09:46:32
Dates et versions
Identifiants
- HAL Id : hal-01371514 , version 1
Citer
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. Verification Model Checking and Abstract Interpretation 2015 (VMCAI 2015), Jan 2015, Mumbai, India. pp.99-116. ⟨hal-01371514⟩
109
Consultations
0
Téléchargements