Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels (Documents de soutenance) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Notes De Synthèse Année : 2019

Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels (Documents de soutenance)

Martin Clochard
  • Fonction : Auteur
  • PersonId : 949301
Formally Verified Programs, Certified Tools and Numerical Computations

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
french.pdf (432.02 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Martin Clochard  : Connectez-vous pour contacter le contributeur

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

Soumis le : dimanche 24 février 2019-21:30:22

Dernière modification le : mardi 13 février 2024-03:25:12

Archivage à long terme le : samedi 25 mai 2019-12:29:50

Télécharger pour visualiser

Dates et versions

hal-02047458 , version 1 (24-02-2019)

Identifiants

  • HAL Id : hal-02047458 , version 1

Citer

Martin Clochard. Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels (Documents de soutenance). 2019. ⟨hal-02047458⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UMR8623 CENTRALESUPELEC INRIA2 LRI-VALS UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE
40 Consultations
47 Téléchargements

Partager

Gmail Facebook X LinkedIn More