Verified Software: Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, Canada, July 17-18, 2016. Proceedings - Inria - Institut national de recherche en sciences et technologies du numérique
Proceedings/Recueil Des Communications Année : 2016

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

Sandrine Blazy
Software certification with semantic analysis
CV
Marsha Chechik
  • Fonction : Auteur
University of Toronto

Domaines

Langage de programmation [cs.PL]

Sandrine Blazy  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01387207

Soumis le : mardi 25 octobre 2016-11:53:30

Dernière modification le : mercredi 6 novembre 2024-11:12:03

Fichier non déposé

Dates et versions

hal-01387207 , version 1 (25-10-2016)

Identifiants

  • HAL Id : hal-01387207 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
213 Consultations
0 Téléchargements

Partager

More