A Formal Framework to Measure the Incompleteness of Abstract Interpretations
Book chapter (October 2023)
The most recent citing publications are shown below. View all 45 publications that cite this research output on Dimensions.
Book chapter (October 2023)
Article in Cement and Concrete Composites (September 2023)
Article in Discrete Applied Mathematics (June 2023)