Verified Software: Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, Canada, July 17-18, 2016. Proceedings

Sandrine Blazy 1 Marsha Chechik 2
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-01387207
Contributor : Sandrine Blazy <>
Submitted on : Tuesday, October 25, 2016 - 11:53:30 AM
Last modification on : Thursday, January 17, 2019 - 6:59:08 PM

Identifiers

  • HAL Id : hal-01387207, version 1

Citation

Sandrine Blazy, Marsha Chechik. Verified Software: Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, Canada, July 17-18, 2016. Proceedings. Sandrine Blazy and Marsha Chechik. Verified Software: Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Jul 2016, Toronto, Canada. 9971, Springer, 2016, Lecture Notes in Computer Science. ⟨hal-01387207⟩

Share

Metrics

Record views

313