David Báča obhájil svou dizertační práci

David Báča úspěšně obhájil svou dizertační práci s názvem Efficient Collection of Statistics for Embedded Software Verification (školitel: doc. Jiří Lažanský). Gratulujeme!

Za obsah zodpovídá: Helena Houšková