SMUTNÝ, M. Zlepšení přesnosti formální analýzy programů v nástroji 2LS [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2019.

Posudky

Posudek vedoucího

Malík, Viktor

Navrhovaná známka
A

Posudek oponenta

Vojnar, Tomáš

Navrhovaná známka
A

eVSKP id 121994