Formal Methods Communities of Practice: A Survey of Personal Experience
Book chapter (September 2022)
The most recent citing publications are shown below. View all 10 publications that cite this research output on Dimensions.
Book chapter (September 2022)
Book chapter (June 2021)
Article in ACM Computing Surveys (October 2019)