![](https://www.pdfsearch.io/img/3afd35f958316614bbd4cbcd25df29e6.jpg) Date: 2013-05-24 15:17:11
| | Probabilistic Program Analysis with Martingales Aleksandar Chakarov1 and Sriram Sankaranarayanan1 University of Colorado, Boulder, CO. Abstract. We present techniques for the analysis of Add to Reading ListSource URL: www.cs.colorado.eduDownload Document from Source Website File Size: 369,90 KBShare Document on Facebook
|