New Opportunities for Integrated Formal Methods
Article in ACM Computing Surveys (October 2019)
The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.
Article in ACM Computing Surveys (October 2019)
Conference proceeding (October 2015)
Article in Information Resources Management Journal (January 2014)