1 October 2024

The journal article “Speeding up static analysis with the split operator”, by Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella, has just been published in “International Journal on Software Tools for Technology Transfer”! Available here.