Communication Dans Un Congrès
Année : 2018
Florian Faissole : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01654459
Soumis le : lundi 4 décembre 2017-08:55:42
Dernière modification le : mardi 10 septembre 2024-13:22:40
Dates et versions
Identifiants
- HAL Id : hal-01654459 , version 1
Citer
Florian Faissole, Bas Spitters. Preuves constructives de programmes probabilistes. JFLA 2018 - Journées Francophones des Langages Applicatifs, Jan 2018, Banyuls-sur-Mer, France. ⟨hal-01654459⟩
Collections
386
Consultations
0
Téléchargements