8 January 2025

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.