ePrints.FRI - University of Ljubljana, Faculty of Computer and Information Science
slovenščina

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 sre. 24. apr. 2024 02:49:18 CEST.
EPrints Logo
ePrints.FRI is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.