Formal Methods Communities of Practice: A Survey of Personal Experience
Book chapter (September 2022)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Book chapter (September 2022)
Monograph (January 2022)
Book chapter (April 2019)