Recherche - Archive ouverte HAL

3 résultats

	Pour les 3 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

		Improving static analyses of C programs with conditional predicates Sandrine Blazy , David Bühler , Boris Yakobowski Science of Computer Programming, 2016, 118, ⟨10.1145/2854065.2854082⟩ Article dans une revue hal-01242077v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Improving static analyses of C programs with conditional predicates Sandrine Blazy , David Bühler , Boris Yakobowski FMICS 2014: Formal Methods for Industrial Critical Systems, Sep 2014, Florence, Italy. pp.15, ⟨10.1007/978-3-319-10702-8_10⟩ Communication dans un congrès hal-01242087v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Structuring an Abstract Interpreter through Value and State Abstractions: EVA, an Evolved Value Analysis for Frama-C David Bühler Programming Languages [cs.PL]. Université de Rennes 1, 2017. English. ⟨NNT : ⟩ Thèse tel-01664726v1	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