Efficient Collection of Statistics for Embedded Software Verification
Efektivní sběr statistik pro verifikaci Embedded Software
Authors
Supervisors
Reviewers
Editors
Other contributors
Journal Title
Journal ISSN
Volume Title
Publisher
České vysoké učení technické v Praze