Skip to Main content Skip to Navigation
Lectures

Introduction à la preuve de programmes

Christine Tasson 1
1 IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale
Document type :
Lectures
Complete list of metadatas
https://cel.archives-ouvertes.fr/hal-02950782
Contributor : Christine Tasson <>
Submitted on : Monday, September 28, 2020 - 11:53:14 AM
Last modification on : Friday, October 9, 2020 - 3:25:52 AM

File

Vignette du document
cours_etudiants_v2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02950782, version 1

Collections

CNRS | UNIV-PARIS7 | UP-SCIENCES | UNIV-PARIS | USPC

Citation

Christine Tasson. Introduction à la preuve de programmes. Master. France. 2013. ⟨hal-02950782⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

13

Files downloads

9