1 August 2024

The journal article “Software verification challenges in the blockchain ecosystem”, by Luca Olivieri, Fausto Spoto, has just been published in “International Journal on Software Tools for Technology Transfer”! Available here.