Verification of Software
habilitační práce
Zobrazit/
Trvalý odkaz
http://hdl.handle.net/20.500.11956/111668Identifikátory
Kolekce
- Habilitační práce [103]
Autor
Oponent práce
Hennicker, Rolf
Huisman, Marieke
Rogalewicz, Adam
Afiliace autora
Matematicko-fyzikální fakulta, Univerzita Karlova
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Informatika - softwarové systémy
Datum obhajoby
2. 10. 2019
Jazyk
Angličtina
Známka
Informace není k dispozici