DMCA
Probabilistic Program Analysis with Martingales
by
Aleksandar Chakarov
,
Sriram Sankaranarayanan
Citations: | 1 - 1 self |