Automated Polyhedral Abstraction Proving
Book chapter (May 2023)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Book chapter (May 2023)
Article in Software Testing Verification and Reliability (September 2021)
Article in Journal of Experimental & Theoretical Artificial Intelligence (July 2016)