Nettsider med emneord «TypeScript»

Publisert 18. okt. 2018 10:17

This topic involves understanding and modelling the election management algorithm Sainte Lagues, which is developed/maintained by UiO people (students and researchers led by Bernt Aardal). Moreover, the topic involves working with verification techniques and tools, both for algorithms but also for code. The programming language is TypeScript.