Skip to Main content Skip to Navigation
Journal articles

Abstract interpretation meets convex optimization

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-00778070
Contributor : Canimogy Cogoulane <>
Submitted on : Friday, January 18, 2013 - 4:13:40 PM
Last modification on : Friday, June 25, 2021 - 9:48:04 AM

Links full text

Identifiers

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⟩

Share

Metrics

Record views

684