Publication details
Randomness: A Tool for Constructing and Analyzing Computer Programs
| Authors | |
|---|---|
| Year of publication | 2011 |
| Type | Chapter of a book |
| MU Faculty or unit | |
| Citation | |
| Description | The paper reflects the author's personal view on the role of randomness in modeling, analysisng, and verification of computer programs. |
| Related projects: |