završni rad
Formalni dokazi u programiranju

Kristijan Šarić (2016)
Sveučilište Jurja Dobrile u Puli
Odjel za informacijsko-komunikacijske tehnologije