Preuves constructives de programmes probabilistes

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

Standard

Preuves constructives de programmes probabilistes. / Faissole, Florian; Spitters, Bas.

Journées Francophones des Langages Applicatifs. 2018. (Journées Francophones des Langages Applicatifs (JFLA); No. 2018).

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

Harvard

Faissole, F & Spitters, B 2018, Preuves constructives de programmes probabilistes. in Journées Francophones des Langages Applicatifs. Journées Francophones des Langages Applicatifs (JFLA), no. 2018, Banyuls-sur-Mer, France, 24/01/2018.

APA

Faissole, F., & Spitters, B. (2018). Preuves constructives de programmes probabilistes. In Journées Francophones des Langages Applicatifs Journées Francophones des Langages Applicatifs (JFLA), No. 2018

CBE

Faissole F, Spitters B. 2018. Preuves constructives de programmes probabilistes. In Journées Francophones des Langages Applicatifs. (Journées Francophones des Langages Applicatifs (JFLA); No. 2018).

MLA

Faissole, Florian and Bas Spitters "Preuves constructives de programmes probabilistes". Journées Francophones des Langages Applicatifs. (Journées Francophones des Langages Applicatifs (JFLA); Journal number 2018). 2018.

Vancouver

Faissole F, Spitters B. Preuves constructives de programmes probabilistes. In Journées Francophones des Langages Applicatifs. 2018. (Journées Francophones des Langages Applicatifs (JFLA); No. 2018).

Author

Faissole, Florian ; Spitters, Bas. / Preuves constructives de programmes probabilistes. Journées Francophones des Langages Applicatifs. 2018. (Journées Francophones des Langages Applicatifs (JFLA); No. 2018).

Bibtex

@inproceedings{15dbd1d861b94e98923b0b1e4fed9ad7,
title = "Preuves constructives de programmes probabilistes",
author = "Florian Faissole and Bas Spitters",
year = "2018",
month = "1",
language = "Fransk",
booktitle = "Journ{\'e}es Francophones des Langages Applicatifs",

}

RIS

TY - GEN

T1 - Preuves constructives de programmes probabilistes

AU - Faissole, Florian

AU - Spitters, Bas

PY - 2018/1

Y1 - 2018/1

UR - https://hal.inria.fr/hal-01654459

M3 - Konferencebidrag i proceedings

BT - Journées Francophones des Langages Applicatifs

ER -