Static Analysis Symposium - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015. Proceedings - Inria - Institut national de recherche en sciences et technologies du numérique
Proceedings/Recueil Des Communications Année : 2015

Static Analysis Symposium - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015. Proceedings

Sandrine Blazy
Software certification with semantic analysis
CV
Thomas Jensen
  • Fonction : Auteur
Software certification with semantic analysis

Domaines

Langage de programmation [cs.PL]

Sandrine Blazy  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01194558

Soumis le : lundi 7 septembre 2015-11:28:38

Dernière modification le : mercredi 6 novembre 2024-11:12:03

Fichier non déposé

Dates et versions

hal-01194558 , version 1 (07-09-2015)

Identifiants

  • HAL Id : hal-01194558 , version 1

Citer

Sandrine Blazy, Thomas Jensen. Static Analysis Symposium - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015. Proceedings. Sandrine Blazy; Thomas Jensen. Static Analysis Symposium - 22nd International Symposium, SAS 2015, Aug 2015, Saint-Malo, France. Lecture Notes in Computer Science (LNCS) (9291), Springer, pp.335, 2015, 978-3-662-48287-2. ⟨hal-01194558⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
193 Consultations
0 Téléchargements

Partager

More