Randomness: A Tool for Constructing and Analyzing Computer Programs

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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