Update index.html

olivieriluca · Jul 12, 2024 · bb9b37a · bb9b37a
1 parent a50c318
commit bb9b37a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/index.html b/index.html
@@ -119,6 +119,10 @@ <h2>Publications</h2>
 			<ul>
 				<li><strong>2024</strong></li>
 				<ul>
+					<li><strong>Luca Olivieri</strong>, Fausto Spoto. 
+						<em>Software verification challenges in the blockchain ecosystem</em>. International Journal on Software Tools for Technology Transfer.
+						[<a href="https://doi.org/10.1007/s10009-024-00758-x">link</a>]
+					</li>
 					<li><strong>Luca Olivieri</strong>, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, and Agostino Cortesi. 
 						<em>Detection of Phantom Reads in Hyperledger Fabric</em>. Journal IEEE Access. 
 						[<a href="https://doi.org/10.1109/access.2024.3410019">link</a>]