Abstract interpretation meets convex optimization

Type de document :
Article dans une revue
Journal of Symbolic Computation, Elsevier, 2012, International Workshop on Invariant Generation, 47 (12), pp.1416-1446. 〈10.1016/j.jsc.2011.12.048〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00778070
Contributeur : Canimogy Cogoulane <>
Soumis le : vendredi 18 janvier 2013 - 16:13:40
Dernière modification le : vendredi 6 juillet 2018 - 10:08:02

Lien texte intégral

Identifiants

Collections

Citation

Stéphane Gaubert, T.M. Gawlitza, H. Seidl, A. Adjé, E. Goubault. Abstract interpretation meets convex optimization. Journal of Symbolic Computation, Elsevier, 2012, International Workshop on Invariant Generation, 47 (12), pp.1416-1446. 〈10.1016/j.jsc.2011.12.048〉. 〈hal-00778070〉

Partager

Métriques

Consultations de la notice

226