Foto del docente

Adele Veschetti

Dottoranda

Dipartimento di Informatica - Scienza e Ingegneria

Tutor didattico

Dipartimento di Informatica - Scienza e Ingegneria

Pubblicazioni

Adele Veschetti, Cosimo Laneve, A Formal Analysis of the Bitcoin Protocol, in: F. de Boer, J. Mauro, Recent Developments in the Design and Implementation of Programming Languages, Schloss Dagstuhl--Leibniz-Zentrum fur Informatik, 2020, 86, pp. 1 - 17 (atti di: Recent Developments in the Design and Implementation of Programming Languages, ONLINE, 27/11/2020) [Contributo in Atti di convegno]

Adele Veschetti, Cosimo Laneve, PRISM+, 2020. [software]

Laneve, Cosimo; Coen, Claudio Sacerdoti; Veschetti, Adele, On the Prediction of Smart Contracts’ Behaviours, in: From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11865, pp. 397 - 415 (atti di: Collquium in honour of Stefania Gnesi, Porto, 08/10/2019) [Contributo in Atti di convegno]Open Access

Ultimi avvisi

Al momento non sono presenti avvisi.