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