28 citations · 38 across the 6 of their papers we have counts for
1 paper · 1 filter
Agostino Cortesi, Giulia Costantini, Pietro Ferrara
The aim of this paper is to provide a general overview of the product operators introduced in the literature as a tool to enhance the analysis accuracy in the Abstract Interpretati…