Decomposing software verification into off-the-shelf components
Conference proceeding (May 2022)
The most recent citing publications are shown below. View all 24 publications that cite this research output on Dimensions.
Conference proceeding (May 2022)
Book chapter (October 2021)
Book chapter (October 2021)