Pokročilé metody syntézy pravděpodobnostních programů
Autor práce
Šimon Stupinský
Vysoké učení technické v Brně, Fakulta informačních technologií
Vedoucí práce
Doc. Milan Češka