Verification of Software
habilitation thesis
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/111668Identifiers
Collections
- Habilitační práce [106]
Author
Referee
Hennicker, Rolf
Huisman, Marieke
Rogalewicz, Adam
Author's Affiliation
Matematicko-fyzikální fakulta, Univerzita Karlova
Faculty / Institute
Matematicko-fyzikální fakulta
Discipline
Informatika - softwarové systémy
Date of defense
2. 10. 2019
Language
English
Grade
Information unavailable