Skip to Main content Skip to Navigation
Lectures

Introduction à la preuve de programmes

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

cours_etudiants_v2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02950782, version 1

Citation

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

Share

Metrics

Record views

13

Files downloads

9