Finding Concurrency Errors in Software Systems Efficiently
habilitation thesis
View/
Permanent link
http://hdl.handle.net/20.500.11956/116965Identifiers
Collections
- Habilitační práce [103]
Author
Referee
Artho, Cyrille
Dwyer, Matthew B.
Trefler, Richard
Author's Affiliation
Matematicko-fyzikální fakulta, Univerzita Karlova
Faculty / Institute
Matematicko-fyzikální fakulta
Discipline
Informatika - softwarové systémy
Date of defense
5. 2. 2020
Language
English
Grade
Information unavailable