28 citations · 28 across the 1 of their papers we have counts for
1 paper
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…