Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels (Documents de soutenance) - Archive ouverte HAL Access content directly
Notes De Synthèse Year :

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

(1)
1
Martin Clochard
  • Function : Author
  • PersonId : 949301
Formally Verified Programs, Certified Tools and Numerical Computations

Domains

Computer Science [cs]
Fichier principal
Vignette du fichier
french.pdf (432.02 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Martin Clochard  : Connect in order to contact the contributor

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

Submitted on : Sunday, February 24, 2019-9:30:22 PM

Last modification on : Tuesday, October 25, 2022-4:21:33 PM

Long-term archiving on: Saturday, May 25, 2019-12:29:50 PM

Download

Dates and versions

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

Identifiers

  • HAL Id : hal-02047458 , version 1

Cite

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA UMR8623 CENTRALESUPELEC INRIA2 LRI-VALS UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE
36 View
40 Download

Share

Gmail Facebook Twitter LinkedIn More