RNDr. Pavel Parízek, Ph.D.

Matematicko-fyzikální fakulta

Habilitation Thesis - Without Papers: Finding Concurrency Errors in Software Systems Efficiently