Preuves constructives de programmes probabilistes

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Translated title of the contributionConstructive proofs of probabilistic programs
Original languageFrench
Title of host publicationJournées Francophones des Langages Applicatifs
Publication yearJan 2018
StatePublished - Jan 2018
EventJournées Francophones des Langages Applicatifs - Observatoire Océanographique, Banyuls-sur-Mer, France
Duration: 24 Jan 201827 Jan 2018
Conference number: 2018
https://www.lri.fr/~sboldo/JFLA18/

Conference

ConferenceJournées Francophones des Langages Applicatifs
Nummer2018
LocationObservatoire Océanographique
LandFrance
ByBanyuls-sur-Mer
Periode24/01/201827/01/2018
Internetadresse
SeriesJournées Francophones des Langages Applicatifs (JFLA)
Number2018

See relations at Aarhus University Citationformats

ID: 127226167