![](https://www.pdfsearch.io/img/a382ae62b6d9230dc3407a2f92b803a2.jpg) Date: 2012-02-12 09:04:39
| | Alea: a library for reasoning on randomized algorithms in Coq Version 7 Christine Paulin-Mohring with contributions by David Baelde and Pierre Courtieu PROVAL TeamAdd to Reading ListSource URL: www.lri.frDownload Document from Source Website File Size: 888,42 KBShare Document on Facebook
|