Finding Concurrency Errors in Software Systems Efficiently
habilitační práce
Zobrazit/
Trvalý odkaz
http://hdl.handle.net/20.500.11956/116965Identifikátory
Kolekce
- Habilitační práce [103]
Autor
Oponent práce
Artho, Cyrille
Dwyer, Matthew B.
Trefler, Richard
Afiliace autora
Matematicko-fyzikální fakulta, Univerzita Karlova
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Informatika - softwarové systémy
Datum obhajoby
5. 2. 2020
Jazyk
Angličtina
Známka
Informace není k dispozici