Preuves constructives de programmes probabilistes

Florian Faissole, Bas Spitters

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

Bidragets oversatte titelConstructive proofs of probabilistic programs
OriginalsprogFransk
TitelJournées Francophones des Langages Applicatifs
Publikationsdatojan. 2018
StatusUdgivet - jan. 2018
BegivenhedJournées Francophones des Langages Applicatifs - Observatoire Océanographique, Banyuls-sur-Mer, Frankrig
Varighed: 24 jan. 201827 jan. 2018
Konferencens nummer: 2018
https://www.lri.fr/~sboldo/JFLA18/

Konference

KonferenceJournées Francophones des Langages Applicatifs
Nummer2018
LokationObservatoire Océanographique
Land/OmrådeFrankrig
ByBanyuls-sur-Mer
Periode24/01/201827/01/2018
Internetadresse
NavnJournées Francophones des Langages Applicatifs (JFLA)
Nummer2018

Citationsformater