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

Sandrine Blazy 1 Thomas Jensen 1
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Type de document :
Direction d'ouvrage, Proceedings, Dossier
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. 〈sas2015.inria.fr〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01194558
Contributeur : Sandrine Blazy <>
Soumis le : lundi 7 septembre 2015 - 11:28:38
Dernière modification le : mardi 16 janvier 2018 - 15:54:17

Identifiants

  • HAL Id : hal-01194558, version 1

Citation

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. 〈sas2015.inria.fr〉. 〈hal-01194558〉

Partager

Métriques

Consultations de la notice

655