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!
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!