Danko Ilik / Danko Ilić / Данко Илиќ

Welcome to my academic web page!

You can find here my work in Logic and Programming, about the:

Publications | Formal Proofs and Software | Teaching | CV | Contact

Latest News RSS