Probabilistic Program Analysis with Martingales release_6nqg2nrvkndhfp4473zg4wccfu

by Aleksandar Chakarov, Sriram Sankaranarayanan

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2013   p511-526

Archived Files and Locations

application/pdf  378.8 kB
file_vbhhec652bdgpeah7bs4so2eqm
web.archive.org (webarchive)
web.archive.org (webarchive)
pl.cs.colorado.edu:80 (web)
www.cs.colorado.edu (web)
application/pdf  835.6 kB
file_is4dmcvoqzhhhf2lkiw4xuyixu
web.archive.org (webarchive)
link.springer.com (publisher)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2013
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 243dd0b2-54de-46f7-8eb0-8f4012309f2d
API URL: JSON