Conference Papers
Year : 2018
Florian Faissole : Connect in order to contact the contributor
https://inria.hal.science/hal-01654459
Submitted on : Monday, December 4, 2017-8:55:42 AM
Last modification on : Friday, March 24, 2023-2:53:05 PM
Dates and versions
Identifiers
- HAL Id : hal-01654459 , version 1
Cite
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
361
View
0
Download