undergraduate thesis
Formaln proofs in programming

Kristijan Šarić (2016)
University of Pula
Department of Information and Communication Technologies