završni rad
Metode kreiranja formalnih dokaza

Tomislav Belcar (2009)
Sveučilište u Zagrebu
Fakultet organizacije i informatike Varaždin