Informace o publikaci
Randomness: A Tool for Constructing and Analyzing Computer Programs
| Autoři | |
|---|---|
| Rok publikování | 2011 |
| Druh | Kapitola v knize |
| Fakulta / Pracoviště MU | |
| Citace | |
| Popis | The paper reflects the author's personal view on the role of randomness in modeling, analysisng, and verification of computer programs. |
| Související projekty: |