@paves_previous

Proving Termination of Probabilistic Programs Using Patterns.

, , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 123-138. Springer, (2012)

Links and resources

DOI:
10.1007/978-3-642-31424-7_14
BibTeX key:
conf/cav/EsparzaGK12
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication