Skip to Main content Skip to Navigation
Directions of work or proceedings

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
Document type :
Directions of work or proceedings
Complete list of metadatas

https://hal.inria.fr/hal-01194558
Contributor : Sandrine Blazy <>
Submitted on : Monday, September 7, 2015 - 11:28:38 AM
Last modification on : Friday, July 10, 2020 - 4:21:17 PM

Identifiers

  • 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. ⟨hal-01194558⟩

Share

Metrics

Record views

1602