Autor:	Florian Faissole, Bas Spitters
Jazyk:	francouzština
Rok vydání:	2018
Zdroj:	Faissole, F & Spitters, B 2018, ' Un cadre pour la preuve de programmes probabilistes ', Paper fremlagt ved Vingt-neuviemes Journees Francophones des Langages Applicatifs, JFLA 2018-29th French-Speaking Conference on Applicative Languages, JFLA 2018, Banyuls-sur-Mer, Frankrig, 24/01/2018-27/01/2018 s. 137-150 . Aarhus University
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0fc465f95c61f4415e1ce8892f91199b https://pure.au.dk/portal/da/publications/un-cadre-pour-la-preuve-de-programmes-probabilistes(ae2e2ada-9376-4f0b-ac53-bd17a069e48d).html Zobrazit plný text záznamu