ePrints.FRI - University of Ljubljana, Faculty of Computer and Information Science

Browse by Person

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom

Blaž Repas (2017) Advanced receiver for ADS-B messages in Software-Defined Radio. MSc thesis.

Blaž Repas (2014) Verifying correctness of programs with dependent types in Idris programming language. Prešeren awards for students.

Blaž Repas (2014) Verifying correctness of programs with dependent types in Idris programming language. EngD thesis.

This list was generated on pet. 24. nov. 2017 02:54:43 CET.