David Báča defended his Ph.D. thesis

David Báča successfully defended his Ph.D. thesis entitled Efficient Collection of Statistics for Embedded Software Verification (supervisor: doc. Jiří Lažanský). Congratulations!