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
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Blazy, Sandrine and Chéchia, Marsha. Verified Software: Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Jul 2016, Toronto, Canada. 9971, Springer, 2016, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/hal-01387207
Contributeur : Sandrine Blazy <>
Soumis le : mardi 25 octobre 2016 - 11:53:30
Dernière modification le : mercredi 16 mai 2018 - 11:23:28

Identifiants

  • 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. Blazy, Sandrine and Chéchia, Marsha. 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〉

Partager

Métriques

Consultations de la notice

267