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
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Blazy, Sandrine and Chechik, 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 : vendredi 16 novembre 2018 - 01:39:30

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 Chechik, 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

284