završni rad
Formalni dokazi u programiranju

Kristijan Šarić (2016)
Sveučilište Jurja Dobrile u Puli
Fakultet informatike u Puli