Bidragets oversatte titel | Constructive proofs of probabilistic programs |
---|---|
Originalsprog | Fransk |
Titel | Journées Francophones des Langages Applicatifs |
Publikationsdato | jan. 2018 |
Status | Udgivet - jan. 2018 |
Begivenhed | Journées Francophones des Langages Applicatifs - Observatoire Océanographique, Banyuls-sur-Mer, Frankrig Varighed: 24 jan. 2018 → 27 jan. 2018 Konferencens nummer: 2018 https://www.lri.fr/~sboldo/JFLA18/ |
Konference
Konference | Journées Francophones des Langages Applicatifs |
---|---|
Nummer | 2018 |
Lokation | Observatoire Océanographique |
Land/Område | Frankrig |
By | Banyuls-sur-Mer |
Periode | 24/01/2018 → 27/01/2018 |
Internetadresse |
Navn | Journées Francophones des Langages Applicatifs (JFLA) |
---|---|
Nummer | 2018 |