Verified Tail Bounds for Randomized Programs

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94821-8_33 ◽

2018 ◽

pp. 560-578 ◽

Cited By ~ 1

Author(s):

Joseph Tassarotti ◽

Robert Harper

Download Full-text