Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition
Book chapter (October 2022)
The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.
Book chapter (October 2022)
Article in Science of Computer Programming (June 2021)
Article in Software Testing Verification and Reliability (April 2021)