Un cadre pour la preuve de programmes probabilistes
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: |