Article Dans Une Revue
Journal of Symbolic Computation
Année : 2012
Canimogy Cogoulane : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00778070
Soumis le : vendredi 18 janvier 2013-16:13:40
Dernière modification le : jeudi 4 avril 2024-21:09:02
Citer
Stéphane Gaubert, T.M. Gawlitza, H. Seidl, A. Adjé, E. Goubault. Abstract interpretation meets convex optimization. Journal of Symbolic Computation, 2012, International Workshop on Invariant Generation, 47 (12), pp.1416-1446. ⟨10.1016/j.jsc.2011.12.048⟩. ⟨hal-00778070⟩
Collections
173
Consultations
0
Téléchargements