Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique

2 résultats

	Pour les 2 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis A. Adjé , Stéphane Gaubert , E. Goubault Logical Methods in Computer Science, 2012, 8 (1), pp.1:01, 32. ⟨10.2168/LMCS-8(1:1)2012⟩ Article dans une revue hal-00782742v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Abstract interpretation meets convex optimization Stéphane Gaubert , T.M. Gawlitza , H. Seidl , A. Adjé , E. Goubault Journal of Symbolic Computation, 2012, International Workshop on Invariant Generation, 47 (12), pp.1416-1446. ⟨10.1016/j.jsc.2011.12.048⟩ Article dans une revue hal-00778070v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats