Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines
Article in Journal of Computer Languages (June 2022)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Article in Journal of Computer Languages (June 2022)
Conference proceeding (November 2020)
Conference proceeding (September 2019)