Formal methods by stealth: The INSPEX experience
Article in Journal of Software (October 2021)
The most recent citing publications are shown below. View all 9 publications that cite this research output on Dimensions.
Article in Journal of Software (October 2021)
Book chapter (October 2020)
Book chapter (October 2020)