Sciweavers

SAS
2001
Springer

An Abstract Analysis of the Probabilistic Termination of Programs

14 years 4 months ago
An Abstract Analysis of the Probabilistic Termination of Programs
David Monniaux
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where SAS
Authors David Monniaux
Comments (0)