CHRES
archiv
en
Česky
English
Sign In
CAS login
RNDr. Pavel Parízek, Ph.D.
Matematicko-fyzikální fakulta
Habilitation Thesis - Without Papers:
Finding Concurrency Errors in Software Systems Efficiently