undergraduate thesis
Formaln proofs in programming

Kristijan Šarić (2016)
University of Pula
Faculty of Informatics in Pula