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 (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. 20. sep. 2017 02:49:46 CEST.