Milan Malačka
Příjmení: | Malačka |
---|---|
Jméno: | Milan |
Číslo osoby (UKČO): | 14283495 |
E-mail: | milanekmalacka@gmail.com |
Druh studia: | bakalářské |
Studijní program: | Informatika (B0613A140006) |
Studijní obor: | Informatika se specializací Systémové programování |
Ročník: | 3 |
Fakulta: | Matematicko-fyzikální fakulta |
Studijní stav: | studuje |
Studentské práce: | Podpora neinterpretovaných funkcí v SMT řešiči Yaga |