Rapport d'avancement sur la vérification formelle des algorithmes de ParcourSup

Document type :
Reports
Complete list of metadatas

Cited literature [43 references]  Display  Hide  Download

https://hal.inria.fr/hal-02447409
Contributor : Claude Marché <>
Submitted on : Tuesday, January 21, 2020 - 3:43:33 PM
Last modification on : Thursday, January 23, 2020 - 1:22:35 AM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02447409, version 1

Citation

Benedikt Becker, Jean-Christophe Filliâtre, Claude Marché. Rapport d'avancement sur la vérification formelle des algorithmes de ParcourSup. [Rapport Technique] Université Paris-Saclay. 2020. ⟨hal-02447409⟩

Share

Metrics

Record views

39

Files downloads

185