The First Fifteen Years of the Verified Software Project
Book chapter (October 2021)
The most recent citing publications are shown below. View all 28 publications that cite this research output on Dimensions.
Book chapter (October 2021)
Article in ACM Computing Surveys (June 2021)
Conference proceeding (June 2020)