Verification in the Grand Challenge
Book chapter (October 2021)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Book chapter (October 2021)
Article in Software and Systems Modeling (April 2010)
Conference proceeding (November 2009)