Probabilistic Program Analysis with Martingales.
Conference Proceeding
Overview
publication date
- January 1, 2013
Date in CU Experts
- January 29, 2016 1:53 AM
Full Author List
- Chakarov A; Sankaranarayanan S
Full Editor List
- Sharygina N; Veith H
author count
- 2
Other Profiles
International Standard Book Number (ISBN) 13
- 978-3-642-39798-1
Additional Document Info
start page
- 511
end page
- 526
volume
- 8044