17 October 2024

The conference paper “Stability: An Abstract Domain for the Trend of Variation of Numerical Variables”, by Luca Negrini, Sofia Presotto, Pietro Ferrara, Enea Zaffanella, Agostino Cortesi, has just been published! Available here.