LoginTesi di laurea con relatore o correlatore Sacerdoti Coen, Claudio, discusse nel 2019
![[su]](/style/images/multi_up.png)
Su di un livelloVai a: B
Numero di documenti: 2.
B
Berlingieri, Andrea (2019) Implementazione del linguaggio dichiarativo in Matita 0.99.x. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]
Bucciarelli, Stefano (2019) Un compilatore per un linguaggio per smart contract intrinsecamente tipato. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]
