Automatic website update from Fri Jan 10 00:59:26 UTC 2025

UniVE-SSV · Jan 10, 2025 · 20e851e · 20e851e
1 parent 2df73e9
commit 20e851e
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/news/_posts/2025-1-8-paper-101dd746ce0d04c1cd27f1824518021d.md b/news/_posts/2025-1-8-paper-101dd746ce0d04c1cd27f1824518021d.md
@@ -0,0 +1,8 @@
+---
+layout: page
+title: 'Journal article published in "International Journal on Software Tools for Technology Transfer"!'
+---
+
+<small>{{ page.date | date: "%-d %B %Y" }}</small>
+
+The journal article "Challenges of software verification", by Vincenzo Arceri, Luca Negrini, Luca Olivieri, Pietro Ferrara, has just been published in "International Journal on Software Tools for Technology Transfer"! Available [here](https://doi.org/10.1007/s10009-024-00778-7).
diff --git a/publications.md b/publications.md
@@ -2,6 +2,10 @@
 layout: page
 title: Publications
 ---
+## 2025
+
+Vincenzo Arceri, Luca Negrini, Luca Olivieri, Pietro Ferrara: _"Challenges of software verification"_, in International Journal on Software Tools for Technology Transfer [[DOI]](https://doi.org/10.1007/s10009-024-00778-7) [[LINK]](http://dx.doi.org/10.1007/s10009-024-00778-7)
+
 ## 2024
 
 Greta Dolcetti, Agostino Cortesi, Caterina Urban, Enea Zaffanella: _"Towards a High Level Linter for Data Science"_, [[DOI]](https://doi.org/10.1145/3689609.3689996) [[LINK]](https://doi.org/10.1145/3689609.3689996)