Un cadre pour la preuve de programmes probabilistes

Florian Faissole, Bas Spitters

Publikation: KonferencebidragPaperForskningpeer review

OriginalsprogFransk
Publikationsdato1 jan. 2018
Antal sider14
StatusUdgivet - 1 jan. 2018
BegivenhedVingt-neuviemes Journees Francophones des Langages Applicatifs, JFLA 2018 - 29th French-Speaking Conference on Applicative Languages, JFLA 2018 - Banyuls-sur-Mer, Frankrig
Varighed: 24 jan. 201827 jan. 2018

Konference

Konference
Land/OmrådeFrankrig
ByBanyuls-sur-Mer
Periode24/01/201827/01/2018

Citationsformater