![](https://www.pdfsearch.io/img/ed63353cacbbd0a1fe5ac4d78ea1f779.jpg) Date: 2012-02-02 15:04:09
| | Alea: a library for reasoning on randomized algorithms in Coq Version 6 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: 769,38 KBShare Document on Facebook
|