Publication details

Randomness: A Tool for Constructing and Analyzing Computer Programs


KUČERA Antonín

Year of publication 2011
Type Chapter of a book
MU Faculty or unit

Faculty of Informatics

Description The paper reflects the author's personal view on the role of randomness in modeling, analysisng, and verification of computer programs.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info