Randomness: A Tool for Constructing and Analyzing Computer Programs

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	KUČERA Antonín
Rok publikování	2011
Druh	Kapitola v knize
Fakulta / Pracoviště MU	Fakulta informatiky
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:	Institut Teoretické Informatiky