Špecifikácia, implementácia a verifikácia programov operujúcich na haldách
(Zadanie bakalárskej práce, naspäť na zoznam bakalárskych prác)
Požiadavky: Úvod do deklaratívneho programovania, Špecifikácia a verifikácia programov
Študent: Dávid Kováč
(Presmerované z BakTema Heaps)