Abstract interpretation meets convex optimization - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Symbolic Computation Year : 2012

Dates and versions

hal-00778070 , version 1 (18-01-2013)

Identifiers

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⟩
164 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More