Origins and Development of Formal Methods
Book chapter (June 2022)
The most recent citing publications are shown below. View all 31 publications that cite this research output on Dimensions.
Book chapter (June 2022)
Article in Science of Computer Programming (March 2006)
Conference proceeding (January 2004)