Journal Articles
Journal of Symbolic Computation
Year : 2012
Canimogy Cogoulane : Connect in order to contact the contributor
https://inria.hal.science/hal-00778070
Submitted on : Friday, January 18, 2013-4:13:40 PM
Last modification on : Monday, November 13, 2023-10:56:04 AM
Cite
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
164
View
0
Download