Silvia Crafa, Cosimo Laneve: Liquidity Analysis in Resource-Aware Programming, April 2022.
Silvia Crafa, Cosimo Laneve: Programming legal contracts: A beginners guide to Stipula, November 2021.
Silvia Crafa, Cosimo Laneve, Giovanni Sartor: Pacta sunt servanda: ...
The Lab promotes the research on Blockchain and New Technologies and their technological transfer.
The STIPULA Project -- Development of a programming language for legal contracts. The first release of the language is available here. Cosimo Laneve, Adele Veschetti and Silvia Crafa, September 2022. Silvia Crafa and a student of her have recently developed a graphical interface for Stipula, ...
