Un cadre pour la preuve de programmes probabilistes

Florian Faissole; Bas Spitters

Un cadre pour la preuve de programmes probabilistes

Florian Faissole, Bas Spitters

Aarhus University

Research output: Contribution to conference › Paper › Research › peer-review

Original language	French
Publication date	1 Jan 2018
Number of pages	14
Publication status	Published - 1 Jan 2018
Event	Vingt-neuviemes Journees Francophones des Langages Applicatifs, JFLA 2018 - 29th French-Speaking Conference on Applicative Languages, JFLA 2018 - Banyuls-sur-Mer, France Duration: 24 Jan 2018 → 27 Jan 2018

Conference

Conference
Country/Territory	France
City	Banyuls-sur-Mer
Period	24/01/2018 → 27/01/2018

Cite this

@conference{ae2e2ada93764f0bac53bd17a069e48d,

title = "Un cadre pour la preuve de programmes probabilistes",

author = "Florian Faissole and Bas Spitters",

year = "2018",

month = jan,

day = "1",

language = "Fransk",

pages = "137--150",

note = "Vingt-neuviemes Journees Francophones des Langages Applicatifs, JFLA 2018 - 29th French-Speaking Conference on Applicative Languages, JFLA 2018 ; Conference date: 24-01-2018 Through 27-01-2018",

}

Un cadre pour la preuve de programmes probabilistes. / Faissole, Florian; Spitters, Bas.
2018. 137-150 Paper presented at Vingt-neuviemes Journees Francophones des Langages Applicatifs, JFLA 2018 - 29th French-Speaking Conference on Applicative Languages, JFLA 2018, Banyuls-sur-Mer, France.

Research output: Contribution to conference › Paper › Research › peer-review

TY - CONF

T1 - Un cadre pour la preuve de programmes probabilistes

AU - Faissole, Florian

AU - Spitters, Bas

PY - 2018/1/1

Y1 - 2018/1/1

UR - http://www.scopus.com/inward/record.url?scp=85093862022&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:85093862022

SP - 137

EP - 150

T2 - Vingt-neuviemes Journees Francophones des Langages Applicatifs, JFLA 2018 - 29th French-Speaking Conference on Applicative Languages, JFLA 2018

Y2 - 24 January 2018 through 27 January 2018

ER -

Un cadre pour la preuve de programmes probabilistes

Conference

Other files and links

Cite this